Soham Chowdhury

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

rien. Predictable Haskell development environments with Cabal and Nix.

how-to-implement-dependent-type-theory. A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml

shorshe. freshly-fermented, dependently-typed mustard, with a substructural aftertaste

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"

maschinen. nixops configs for systems i control

suzuri. Rust

.doom.d. exwm on doom emacs (mostly stolen from @jethrokuan)