PinnedLoading

1. silicasilicaPublic archive

   optics for Haskell with the most amazing type errors you've seen

   Haskell 243 7

2. sound-and-completesound-and-completePublic archive

   An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system

   Haskell 84 6

3. cubaltcubaltPublic archive

   Rust port of Voltera/vcube + partial pruning table-based human-method Rubik's cube solver based on it

   Rust

4. noethernoetherPublic archive

   Highly polymorphic algebraic structures with custom deriving strategies

   Haskell 30 1

5. preposterouspreposterousPublic archive

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

   Haskell 17 1