There are no reviews yet. Be the first to send feedback to the community and the maintainers!
postgresql-replicant
A streaming PostgreSQL logical replication client library for HaskellDataVersion
lean-for-hackers
lean-4-hackers
dmon
A stream-processing service for monitoring distributed clustersbutler
A Common Lisp kernel for iPython frontendsjson-ld
JSON-LD for Haskellknockblock
A library for writing strong, eventually consistent programs in Pythonhaskeroids
An Asteroids clone written in Haskellzig8
A Chip-8 emulator written in zigrosby
A simple, reliable key key-value databaseswift-aio
An Ansible playbook for provisioning a swift all-in-one development environmentAmbit
A library for interval arithmetic, bisection, and analysisadvent
My solutions to the Advent of Code challengeslean-json
Horton
Grids for Humans. A library of fine amusements.Dockmacs
Emacs running a web server in a docker container.DeliciousBackup
Just a small script to backup delicious bookmarks to an sqlite databasehiedb-mode
LambdaTrek
A Super-ish Trek clone written in HaskellDatomos
A Datalog library for HaskellCheckr
BusGossip
LeanParsec
TLAGrammar
A Textmate-compatible grammar for TLA+Love Open Source and this site? Check out how you can help us