Steve Dunham

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.

ios. Utility to extract files and keychain information from iOS backups

newt. A toy dependent typed language.

iwork. Code to convert pages files to HTML

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

idris2-js. Idris2 compiler on js

idris2-playground. TypeScript

framework2proto. Extracts protobuf definitions from OSX frameworks

tana-stuff. TypeScript

plist. binary plist read/write implemented in Go

aoc2021. Advent of Code 2021 in Idris (amateur hour)

shop. A simple go program to update a "ShopShop" shopping list

pygit2. Python bindings for libgit2

filerelay. Translation of filerelaytest.c in go

aoc2023. Lean

check-deptype. In progress implementation of "Checking Dependent Types" tutorial, translated to Idris2

scummvm. Fork of ScummVM main repository

grace. A functional language built on json. Forked to get it to work, and so I don't lose the link.

pi-forall-vscode. Syntax highlighting for pi-forall

aoc2022. Advent of Code 2022 - In rust and lean4

meta2. Implentation of "META II" in javascript

sqljs. Experiments with sqlite databases in javascript