J Kenneth King

postgresql-replicant. A streaming PostgreSQL logical replication client library for Haskell

DataVersion. Haskell

lean-for-hackers.

lean-4-hackers. Lean

dmon. A stream-processing service for monitoring distributed clusters

tigerbeetle-hs. A Tigerbeetle database client library for Haskell

butler. A Common Lisp kernel for iPython frontends

adventure-engine. A small text adventure game written in Haskell

json-ld. JSON-LD for Haskell

rosby. A simple, reliable key key-value database

knockblock. A library for writing strong, eventually consistent programs in Python

swift-aio. An Ansible playbook for provisioning a swift all-in-one development environment

advent. My solutions to the Advent of Code challenges

haskeroids. An Asteroids clone written in Haskell

Ambit. A library for interval arithmetic, bisection, and analysis

zig8. A Chip-8 emulator written in zig

hiedb-mode. Emacs Lisp

bakamud. A basic MUD

lean-json. Lean

LambdaTrek. A Super-ish Trek clone written in Haskell

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 database

pangzero. Porting Pang Zero to new SDL API for Debian Release

Checkr. Haskell

SDL_perl. Rehashing the old perl SDL binding on cpan.org

codercamp.github.io. Website for CoderCamp from Hamilton, Ontario

KineticJS. KineticJS is an HTML5 Canvas JavaScript library that extends the 2d context by enabling canvas interactivity for desktop and mobile applications.

BusGossip. Haskell

flask. A microframework based on Werkzeug, Jinja2 and good intentions

Locker. Locker - the "me" platform

TLAGrammar. A Textmate-compatible grammar for TLA+

Datomos. A Datalog library for Haskell

Schemaverse. The Schemaverse is a space-based strategy game implemented entirely within a PostgreSQL database. Compete against other players using raw SQL commands to command your fleet. Or, if your PL/pgSQL-foo is strong, wield it to write AI and have your fleet command itself!

LeanParsec. Lean

hnofficehours. HN Office Hours

django-sphinx. A transparent layer for full-text search using Sphinx and Django

linguist. Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

Paython. ActiveMerchant rip off in Python. Fork me & improve me!

smolstore. The tiniest event sourcing database.