evertedsphere/preposterous

This repository has been archived on 07/Feb/2022
Stars
17
Rank 1,257,181 (Top 25 %)
Language
Haskell
License
GNU General Publi...
Created almost 7 years ago
Updated almost 7 years ago

evertedsphere/preposterous

evertedsphere

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

An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"

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

suzuri

maschinen

nixops configs for systems i control

.doom.d

exwm on doom emacs (mostly stolen from @jethrokuan)