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/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/tana-stuff
dunhamsteve/aoc2021
Advent of Code 2021 in Idris (amateur hour)
dunhamsteve/scummvm
Fork of ScummVM main repository
dunhamsteve/agda-mode-vscode
vscode agda-mode, forked so I could adjust some things
dunhamsteve/aoc2022
Advent of Code 2022 - In rust and lean4
dunhamsteve/aoc2023
dunhamsteve/check-deptype
In progress implementation of "Checking Dependent Types" tutorial, translated to Idris2
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/grace
A functional language built on json. Forked to get it to work, and so I don't lose the link.
dunhamsteve/hbaker1
dunhamsteve/homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
dunhamsteve/idrall
Dhall bindings for Idris
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/katla
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/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/theorem_proving_in_lean4
Theorem Proving in Lean 4
dunhamsteve/Yaffle
A core language and API for dependently typed languages