Beast code in Giters

ddrone's repositories

Basically just a dump for all sorts of tools and experiments with no rhyme or reason at this point.

Language:KotlinApache-2.02 20

Language:Rust000

Language:TypeScript000

Language:Haskell000

Five of them, in fact. Sometimes ten.

Language:TypeScript000

Language:HaskellMIT000

A script to cut short clips from video using ffmpeg

Language:Python000

Language:Coq000

Config files for my GitHub profile.

000

Instant reload for GHCi

Language:HaskellMIT000

Create the next immutable state by mutating the current one

Language:JavaScriptMIT000

Language:TypeScript000

Language:LeanMIT000

Another piece of your extended mind

MIT000

Language:TypeScript000

A PKM+PL hybrid

Language:TypeScript000

An extension for VS Code which provides support for the Lean language.

Apache-2.0000

NOASSERTION000