Samuel Gélineau

frp-zoo. Comparing many FRP implementations by reimplementing the same toy app in each.

hawk. Haskell text processor for the command-line

git-slides. Text-based slides using vim and git.

klister. an implementation of stuck macros

category-syntax. do-notation for Category and "Arrow without arr"

typelevel-rewrite-rules. rewrite rules for type-level equalities

n-ary-functor. A single typeclass for Functor, Bifunctor, Trifunctor, etc.

linear-examples. Example uses of linear types

conway. Demonstrating comonad transformers.

hyzzy. A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.

ludum-dare-31. The theme for LD31 was "Entire Game on One Screen"

magic-typelevel-elem. Demonstrating how to make type families faster using typechecker plugins

commutative. Using Haskell's type system to guarantee commutativity.

cabal-rangefinder. A tool to fill in the version ranges in a cabal file.

typechecker-combinators. Haskell

laughable. Clowns to the left of me, jokers to the right

mastering-haskell. The slides for my Packt course, "Mastering Haskell".

surjective. An output coverage checker

deploy-hint. Demonstrating that you don't need to install ghc in order to use the hint library.

circular-sig. a twelf-like type-checker supporting recursive signatures

giggles-is-you. A reimplementation of Baba is You in Haskell, for our weekly haskell-beginners presentations.

objc2java. Convert pure ObjectiveC code to pure Java code, libraries be damned.

strongly-typed-bound. My version of Kmett's "strongly typed bound for acowley" snippet.

ludum-dare-35. The theme for LD35 was: "shapeshift"

staged-diamond-calculus. a variant of Pfenning-Davies with Diamond instead of Box

stm-variants. The STM API we know and love, but useable in more circumstances

mcp-cli. a simple MCP server allowing VS Code to run a specific shell command without asking

ludum-dare-34. The themes for LD34 were: "two button controls" and "growing"

nominalize. Generate types using type-generic programming, retaining control over the names of the constructors and the fields.

image-watcher. Display an image and update it when the file changes

slides. A place to host my git-slides presentations

acme-tiny-rules. a parody of Tiny Glade with inference rules instead of castles

premonoidal. Agda encoding of premonoidal categories

apecs-hint-demo. demonstrating how to use hint to dynamically modify the game world of an apecs-based game

acme-circular-containers. Spineless containers which are fast to read but inefficient to update

dot-utils. A set of small command-line tools for transforming GraphViz dot-files

k-playground. for implementing toy languages using the K Framework

jira-dependencies. from JIRA's .csv export to graphviz's dot format

tarjan. an agda implementation of Tarjan's strongly connected components algorithm

ludum-dare-44. The theme for LD44 was "Your life is currency"

agda-playground. a series of ambitious experiments in the functional language / proof assistant Agda.

worldly. based on Conor McBride's "Worldly Type Systems" talk

trie-based-frp. An implementation of higher-order FRP based on shared tries instead of unsafePerformIO.

ice-cream-privacy. Haskell

directed-graph-ui. A tool for creating directed graphs.

ludum-dare-43. Haskell

contravariant-case. An API for Divisible and Decidable which looks like pattern-matching.

lens-syntax. Pointful syntax for optic compositions

haskell-code-explorer-bug. a minimal repro