Alan Jeffrey

parsell. Parsell: an LL(1) parser combinator library for Rust

josephine. JS affine

wasm. Web Assembly

shared-data. A Rust library for data structures living in shared memory.

finite-dtypes. Thoughts on finite dependent types

deep-clone. A trait for deep-cloning in Rust

tapl. Reading along with Types And Programming Languages

cubical-syntax. Playing around seeing if Cubical Agda helps with defining abstract syntax

luau. A fast, small, safe, gradually typed embeddable scripting language derived from Lua

serde-roundtrip. A trait for when serde supports serializing at one type and deserializing as another

ecmascript_sharedmem. Shared memory and atomics for ECMAscript

swapper. Swap ownership of data between threads in Rust

three.js. JavaScript 3D library.

lagda. LaTeX macros for Literate Agda

tra-mut-loc. An implementation of Transactional Mutex Locks for Rust