Samuel Gélineau's repositories
git-slides
Text-based slides using vim and git.
typelevel-rewrite-rules
rewrite rules for type-level equalities
n-ary-functor
A single typeclass for Functor, Bifunctor, Trifunctor, etc.
ludum-dare-35
The theme for LD35 was: "shapeshift"
nominalize
Generate types using type-generic programming, retaining control over the names of the constructors and the fields.
stm-variants
The STM API we know and love, but useable in more circumstances
acme-tiny-rules
a parody of Tiny Glade with inference rules instead of castles
agda-playground
a series of ambitious experiments in the functional language / proof assistant Agda.
ludum-dare-44
The theme for LD44 was "Your life is currency"
premonoidal
Agda encoding of premonoidal categories
lens-syntax
Pointful syntax for optic compositions
ghc-9.4-bug
minimal repro case for a ghc-9.4 regression
streaming-async
Run multiple computations from the "streaming" library concurrently and combine the results.
thread-debugger
GUI for displaying stdout lines from different threads in different windows
tiny-games-hs
Rules for & examples of tiny haskell games