evertedsphere/suzuri

Stars
5
Rank 2,861,937 (Top 57 %)
Language
Rust
Created about 1 year ago
Updated 10 months ago

evertedsphere/suzuri

evertedsphere

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

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

.doom.d

exwm on doom emacs (mostly stolen from @jethrokuan)