Mad computer scientist. Interests include decentralized social media, esoteric programming languages, type systems, and doing weird things with JSON.
spartan-schema. Ultra-minimal JSON schemas with Typescript inference
436schemepunk. A batteries-included extended standard library for seven R7RS Scheme dialects.
102lcon. Ludicrously Compact Object Notation
69osmosis-js. JS reference implementation of Osmosis, a JSON data store with peer-to-peer background sync
52tapir. mastodon for one
37monocypher-wasm. WebAssembly port and JS wrapper library for Monocypher (https://monocypher.org)
22jaspr. Lisp for JSON
20uxnpi. Uxn for the Raspberry Pi, on bare metal
15srfi-197. Sample implementation of SRFI 197, a port of Clojure threading macros
10ludwig. lemmy but better
9foldcase. Unicode Case Folding in JavaScript
4circle. A C++ bare metal environment for Raspberry Pi with USB (32 and 64 bit)
2etc. Configuration files.
1wmii-conf-bash. Old, buggy wmii config scripts
1vim-syntax-hol4. Vim syntax file for the HOL4 language
1broadcast-interfaces. Node module to list IPv4 broadcast addresses of all network interfaces
1docker-bind-arm. ARM version of CosmicQ/docker-bind
1resume. My résumé
1