ddrone's repositories
Language:Rust000
Language:TypeScript000
Language:Haskell000
arrows
Five of them, in fact. Sometimes ten.
Language:TypeScript000
auto-parser
Learning to use GHC.Generics
Language:Haskell000
Language:HaskellMIT000
clip-cutter
A script to cut short clips from video using ffmpeg
Language:Python000
Language:Coq000
Language:Python000
ddrone
Config files for my GitHub profile.
000
iGHCi
Instant reload for GHCi
Language:HaskellMIT000
immer
Create the next immutable state by mutating the current one
Language:JavaScriptMIT000
fourward
Implementation of Forth-like programming language
Language:C000
Language:TypeScript000
Language:LeanMIT000
promnesia
Another piece of your extended mind
MIT000
Language:TypeScript000
spaced-repetition-sim
Simulation of spaced repetition to find out how workload increases over time
Language:TypeScript000
Language:TypeScript000
Language:TypeScript000
urban-pancake
A PKM+PL hybrid
Language:TypeScript000
vscode-lean
An extension for VS Code which provides support for the Lean language.
Apache-2.0000
NOASSERTION000