World Transparency Graph public codebase (🚧 website in progress)

A minimal Lisp in C, focused on understanding through implementation

clean CV LaTex template with GitHub Actions that compile and publish new changes

Generate typed TypeScript snapshots (const/enum/union) to file.

Tiny, zero‑dependency FP helpers for TypeScript.

Code examples, data structures, and links from my book, Rust Atomics and Locks.

Software Foundations in Kind

A Compiler Writing Journey

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Erlang worker pool

documentation around the OpenMANET project

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

CAES005 - Introdução à Programação Funcional

A CLI that writes your git commit messages for you with AI

Some handy AI scripts

Precise fixed-scale (8 decimal places) arithmetic for financial calculations.

FFmpeg Assembly Language Lessons

Blockchain P2P Network (WIP)

chat based messaging and rollback state computer

Game tick system

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

The interaction net language proposed by Yves Lafont implemented in Rascal.

Lightning Node Management for Android

The simplest, fastest repository for training/finetuning medium-sized GPTs.

Multi-Threaded FP32 Matrix Multiplication on x86 CPUs