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
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
acme-tiny-rules
a parody of Tiny Glade with inference rules instead of castles
lens-syntax
Pointful syntax for optic compositions
cborg
Binary serialisation in the CBOR format
gc-tester
a console UI tool to control how much garbage to generate and measure the effect on garbage collection
ghc-9.4-bug
minimal repro case for a ghc-9.4 regression
HaXml
Forked from http://code.haskell.org/HaXml
lvars
The LVish Haskell library
mgmt
Next generation distributed, event-driven, parallel config management!
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