J Kenneth King's repositories
postgresql-replicant
A streaming PostgreSQL logical replication client library for Haskell
adventure-engine
A small text adventure game written in Haskell
haskeroids
An Asteroids clone written in Haskell
LambdaTrek
A Super-ish Trek clone written in Haskell
512kb.club
Website for the 512 KB Club
bytestring-trie
An efficient finite map from (byte)strings to values.
codercamp.github.io
Website for CoderCamp from Hamilton, Ontario
cute_headers
Collection of cross-platform one-file C/C++ libraries with no dependencies, primarily used for games
hs-opentelemetry
OpenTelemetry support for the Haskell programming language
lean4
Lean 4 programming language and theorem prover
peridot
A fast functional language based on two level type theory
persistent
Persistence interface for Haskell allowing multiple storage methods.
personal-security-checklist
đź”’ A curated checklist of 300+ tips for protecting digital security and privacy in 2021
pg-entity
A pleasant PostgreSQL database layer for Haskell
procgenomatic
A repository for messing around with procgen algorithms
WaveFunctionCollapse
An implementation of the Wave Function Collapse algorithm in Haskell