evertedsphere/shorshe

Stars
30
Rank 817,012 (Top 17 %)
Language
Haskell
Created about 4 years ago
Updated about 4 years ago

evertedsphere/shorshe

evertedsphere

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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

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"

suzuri

maschinen

nixops configs for systems i control

.doom.d

exwm on doom emacs (mostly stolen from @jethrokuan)