Discover @agentultra Open Source projects

J Kenneth King (@agentultra)

agentultra

Stars
191
Global Rank 127,734 (Top 5 %)
Followers 68
Following 24
Registered about 15 years ago
Most used languages

Haskell
50.0 %

Python
18.2 %

Lean 13.6 %

Emacs Lisp
9.1 %

Common Lisp
4.5 %

Zig
4.5 %

postgresql-replicant

A streaming PostgreSQL logical replication client library for Haskell

DataVersion

lean-for-hackers

lean-4-hackers

dmon

A stream-processing service for monitoring distributed clusters

butler

A Common Lisp kernel for iPython frontends

adventure-engine

A small text adventure game written in Haskell

json-ld

JSON-LD for Haskell

knockblock

A library for writing strong, eventually consistent programs in Python

haskeroids

An Asteroids clone written in Haskell

zig8

A Chip-8 emulator written in zig

rosby

A simple, reliable key key-value database

swift-aio

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

Ambit

A library for interval arithmetic, bisection, and analysis

advent

My solutions to the Advent of Code challenges

lean-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 database

hiedb-mode

LambdaTrek

A Super-ish Trek clone written in Haskell

Datomos

A Datalog library for Haskell

Checkr

BusGossip

LeanParsec

TLAGrammar

A Textmate-compatible grammar for TLA+