Pinned

1. silica silica Public archive

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

   Haskell 241 7

2. sound-and-complete sound-and-complete Public archive

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

   Haskell 83 6

3. cubalt cubalt Public archive

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

   Rust

4. noether noether Public archive

   Highly polymorphic algebraic structures with custom deriving strategies

   Haskell 30 1

5. preposterous preposterous Public archive

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

   Haskell 16 1