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/frp-zoo
Comparing many FRP implementations by reimplementing the same toy app in each.
gelisam/deploy-hint
Demonstrating that you don't need to install ghc in order to use the hint library.
gelisam/giggles-is-you
A reimplementation of Baba is You in Haskell, for our weekly haskell-beginners presentations.
gelisam/image-watcher
Display an image and update it when the file changes
gelisam/apecs-hint-demo
demonstrating how to use hint to dynamically modify the game world of an apecs-based game
gelisam/acme-circular-containers
Spineless containers which are fast to read but inefficient to update
gelisam/dot-utils
A set of small command-line tools for transforming GraphViz dot-files
gelisam/jira-dependencies
from JIRA's .csv export to graphviz's dot format
gelisam/k-playground
for implementing toy languages using the K Framework
gelisam/ice-cream-privacy
gelisam/free-premonoidal
gelisam/gif-browser
a tiny application for browsing through the frames of an animated gif.
gelisam/avaleryar
A logical authorization system
gelisam/cabal
gelisam/composable-services
Experimental open nets of services, inspired by open petri nets
gelisam/declarative-programming-streams
Active streaming declarative programmers. See who's online at the following URL:
gelisam/evercal
Display notes from Evernote on a calendar.
gelisam/GCompris-qt
GCompris in Qt Quick
gelisam/hsresumebuilder
Haskell CLI tool to build a resume (CV) from a YAML file
gelisam/kmonad
An advanced keyboard manager
gelisam/ludum-dare-50
"Tordle", a mix of Tetris and Wordle
gelisam/my-tab-mover
a fork of Tab Mover with small quality-of-life improvements
gelisam/plutarch-plutus
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
gelisam/resource-pool-benchmarks
Benchmarks for Data.Pool
gelisam/scattered-brain
experiments in distributed systems
gelisam/servant
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!
gelisam/simformat
Formats haskell import lists
gelisam/termonad
Terminal emulator configurable in Haskell.
gelisam/untyped-premonoidal
gelisam/yiul
Haskell modularity tool