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/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.
dunhamsteve/ios
Utility to extract files and keychain information from iOS backups
dunhamsteve/iwork
Code to convert pages files to HTML
dunhamsteve/tana-stuff
dunhamsteve/aoc2021
Advent of Code 2021 in Idris (amateur hour)
dunhamsteve/newt
A toy dependent typed language.
dunhamsteve/pi-forall-vscode
Syntax highlighting for pi-forall
dunhamsteve/scummvm
Fork of ScummVM main repository
dunhamsteve/aoc2022
Advent of Code 2022 - In rust and lean4
dunhamsteve/aoc2023
dunhamsteve/create-melange-app
The fastest, friendliest, and most delightful way to get started with OCaml, ReasonML, and Melange, geared towards JavaScript and TypeScript developers
dunhamsteve/homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
dunhamsteve/idris-frex
dunhamsteve/idris-tparsec
TParsec - Total Parser Combinators in Idris
dunhamsteve/Idris2
This repository is a fork of idris-lang/Idris2. It holds local experiments and contributions to Idris2. You probably want the original repository.
dunhamsteve/idris2-lsp
Fork of idris2-lsp
dunhamsteve/idris2-lsp-vscode
Visual Studio Code integration for the Idris 2 language server
dunhamsteve/idris2-pack
dunhamsteve/lean4
Lean 4 programming language and theorem prover
dunhamsteve/MicroHs
Tiny functional language implemented with combinators
dunhamsteve/ncurses-idris
A hobby implementation of an ncurses binding for Idris 2
dunhamsteve/pi-forall
A demo implementation of a simple dependently-typed language
dunhamsteve/plfa.github.io
An introduction to programming language theory in Agda
dunhamsteve/sqljs
Experiments with sqlite databases in javascript
dunhamsteve/tana-import-tools
A set of tools to get various data formats into Tana
dunhamsteve/theHoTTGameGuide
dunhamsteve/theorem_proving_in_lean4
Theorem Proving in Lean 4
dunhamsteve/tree-sitter-piforall
experimental tree-sitter parser for pi-forall
dunhamsteve/twelf
Fork of the Twelf Programming Language
dunhamsteve/Yaffle
A core language and API for dependently typed languages