Pinned Repositories
category-syntax
do-notation for Category and "Arrow without arr"
frp-zoo
Comparing many FRP implementations by reimplementing the same toy app in each.
git-slides
Text-based slides using vim and git.
hawk
Haskell text processor for the command-line
klister
an implementation of stuck macros
linear-examples
Example uses of linear types
n-ary-functor
A single typeclass for Functor, Bifunctor, Trifunctor, etc.
typelevel-rewrite-rules
rewrite rules for type-level equalities
hint
Runtime Haskell interpreter
recursion-schemes
Generalized bananas, lenses and barbed wire
gelisam's Repositories
gelisam/hawk
Haskell text processor for the command-line
gelisam/git-slides
Text-based slides using vim and git.
gelisam/klister
an implementation of stuck macros
gelisam/typelevel-rewrite-rules
rewrite rules for type-level equalities
gelisam/n-ary-functor
A single typeclass for Functor, Bifunctor, Trifunctor, etc.
gelisam/typechecker-combinators
gelisam/ludum-dare-35
The theme for LD35 was: "shapeshift"
gelisam/nominalize
Generate types using type-generic programming, retaining control over the names of the constructors and the fields.
gelisam/acme-tiny-rules
a parody of Tiny Glade with inference rules instead of castles
gelisam/slides
A place to host my git-slides presentations
gelisam/stm-variants
The STM API we know and love, but useable in more circumstances
gelisam/agda-playground
a series of ambitious experiments in the functional language / proof assistant Agda.
gelisam/ludum-dare-44
The theme for LD44 was "Your life is currency"
gelisam/premonoidal
Agda encoding of premonoidal categories
gelisam/dotfiles
My default setup, including config files and shell scripts.
gelisam/lens-syntax
Pointful syntax for optic compositions
gelisam/memento
Write a Virtual DOM for anything!
gelisam/timesheet
Simple text-based time tracking
gelisam/cborg
Binary serialisation in the CBOR format
gelisam/fix-sixel
convert from ppmtosixel's format to xterm's
gelisam/gc-tester
a console UI tool to control how much garbage to generate and measure the effect on garbage collection
gelisam/ghc-9.4-bug
minimal repro case for a ghc-9.4 regression
gelisam/HaXml
Forked from http://code.haskell.org/HaXml
gelisam/hint
Runtime Haskell interpreter (GHC API wrapper)
gelisam/hipsql
gelisam/lvars
The LVish Haskell library
gelisam/mgmt
Next generation distributed, event-driven, parallel config management!
gelisam/streaming-async
Run multiple computations from the "streaming" library concurrently and combine the results.
gelisam/thread-debugger
GUI for displaying stdout lines from different threads in different windows
gelisam/tiny-games-hs
Rules for & examples of tiny haskell games