Pinned Repositories
adventure-engine
A small text adventure game written in Haskell
butler
A Common Lisp kernel for iPython frontends
DataVersion
dmon
A stream-processing service for monitoring distributed clusters
json-ld
JSON-LD for Haskell
knockblock
A library for writing strong, eventually consistent programs in Python
lean-4-hackers
lean-for-hackers
postgresql-replicant
A streaming PostgreSQL logical replication client library for Haskell
rosby
A simple, reliable key key-value database
agentultra's Repositories
agentultra/postgresql-replicant
A streaming PostgreSQL logical replication client library for Haskell
agentultra/DataVersion
agentultra/lean-for-hackers
agentultra/lean-4-hackers
agentultra/adventure-engine
A small text adventure game written in Haskell
agentultra/advent
My solutions to the Advent of Code challenges
agentultra/haskeroids
An Asteroids clone written in Haskell
agentultra/zig8
A Chip-8 emulator written in zig
agentultra/tigerbeetle-hs
A Tigerbeetle database client library for Haskell
agentultra/hiedb-mode
agentultra/LambdaTrek
A Super-ish Trek clone written in Haskell
agentultra/LeanParsec
agentultra/512kb.club
Website for the 512 KB Club
agentultra/bytestring-trie
An efficient finite map from (byte)strings to values.
agentultra/codercamp.github.io
Website for CoderCamp from Hamilton, Ontario
agentultra/death13k
agentultra/ghcid
Very low feature GHCi based IDE
agentultra/hs-opentelemetry
OpenTelemetry support for the Haskell programming language
agentultra/http-replay
agentultra/lean4
Lean 4 programming language and theorem prover
agentultra/mastotagsite
Generate a static site from a Mastodon hashtag
agentultra/peridot
A fast functional language based on two level type theory
agentultra/persistent
Persistence interface for Haskell allowing multiple storage methods.
agentultra/personal-security-checklist
🔒 A curated checklist of 300+ tips for protecting digital security and privacy in 2021
agentultra/pg-entity
A pleasant PostgreSQL database layer for Haskell
agentultra/procgenomatic
A repository for messing around with procgen algorithms
agentultra/protohackers-solutions
agentultra/sat-solver
agentultra/snek
agentultra/WaveFunctionCollapse
An implementation of the Wave Function Collapse algorithm in Haskell