evertedsphere/rien

This repository has been archived on 03/Nov/2021
Stars
65
Rank 473,702 (Top 10 %)
Language
Nix
License
GNU General Publi...
Created almost 7 years ago
Updated about 5 years ago

evertedsphere/rien

evertedsphere

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

Predictable Haskell development environments with Cabal and Nix.

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

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"

suzuri

maschinen

nixops configs for systems i control

.doom.d

exwm on doom emacs (mostly stolen from @jethrokuan)