Pinned Repositories
framework2proto
Extracts protobuf definitions from OSX frameworks
ios
Utility to extract files and keychain information from iOS backups
iwork
Code to convert pages files to HTML
notesutils
Utilities for extracting notes from Notes.app. This repository is lightly maintained and mainly exists to serve as documentation and starting point for your own scripts.
nutrition-data
Code to create a sqlite db from USDA nutrition database
SPLV20
edwinb's SPLV20 course notes, updated to run on current Idris2. (The updates build on work by @gallais.) The corresponding lectures are at https://www.youtube.com/playlist?list=PLmYPUe8PWHKqBRJfwBr4qga7WIs7r60Ql
dunhamsteve's Repositories
dunhamsteve/iwork
Code to convert pages files to HTML
dunhamsteve/nutrition-data
Code to create a sqlite db from USDA nutrition database
dunhamsteve/framework2proto
Extracts protobuf definitions from OSX frameworks
dunhamsteve/plist
binary plist read/write implemented in Go
dunhamsteve/pygit2
Python bindings for libgit2
dunhamsteve/shop
A simple go program to update a "ShopShop" shopping list
dunhamsteve/apfs-fuse
Work in Progress trying to port sgan81/apfs-fuse to OSX
dunhamsteve/blackfriday
Fork of blackfriday to support '$' quoted equations
dunhamsteve/cryptdb
A database system that can process SQL queries over encrypted data.
dunhamsteve/dunhamsteve.github.io
dunhamsteve/filerelay
Translation of filerelaytest.c in go
dunhamsteve/gopl.io
Example programs from "The Go Programming Language"
dunhamsteve/hyperapp
forked copy of hyper app for tweaks to v2 branch
dunhamsteve/idris2-docset
Scripts to create Dash docset for Idris2
dunhamsteve/jonesforth
This is a fork of nornagon/jonesforth that I intend to translate to a different architecture for learning purposes.
dunhamsteve/purescript
This repository is a fork of purescript/purescript, so I can play around with code generation and maybe learn some stuff.