Pinned Repositories
.doom.d
exwm on doom emacs (mostly stolen from @jethrokuan)
cubalt
Rust port of Voltera/vcube + partial pruning table-based human-method Rubik's cube solver based on it
how-to-implement-dependent-type-theory
A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
maschinen
nixops configs for systems i control
noether
Highly polymorphic algebraic structures with custom deriving strategies
preposterous
An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"
rien
Predictable Haskell development environments with Cabal and Nix.
shorshe
freshly-fermented, dependently-typed mustard, with a substructural aftertaste
silica
optics for Haskell with the most amazing type errors you've seen
sound-and-complete
An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
evertedsphere's Repositories
evertedsphere/silica
optics for Haskell with the most amazing type errors you've seen
evertedsphere/sound-and-complete
An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
evertedsphere/rien
Predictable Haskell development environments with Cabal and Nix.
evertedsphere/how-to-implement-dependent-type-theory
A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
evertedsphere/preposterous
An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"
evertedsphere/cubalt
Rust port of Voltera/vcube + partial pruning table-based human-method Rubik's cube solver based on it
evertedsphere/macaque