The UVM written in Python

Functional Coverage and Constrained Randomization Extensions for Cocotb

A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.

⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, browser, subagents, and more

The agent that grows with you

Siri Shortcuts Programming Language 🍒

An experiment in durability

A Compiler Writing Journey

Prevents your Mac from going to sleep.

First published Open Source implementation of OpenFirmware

OpenFirmware as used on OLPC (and elsewhere)

The design language that makes your AI harness better at design.

The best open-source alternative to Superwhisper & Wispr Flow. Voice-to-text app for macOS with no subscription

L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.

Structured RAG: ingest, index, query

nCPU: model-native and tensor-optimized CPU research runtimes with organized workloads, tools, and docs

Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.

Menu bar manager for macOS 26

Mmark: a powerful markdown processor in Go geared towards the IETF

r3 programing language - ColorForth inspired

Small but complete dynamic Forth Interpreter/Compiler for and in WebAssembly

A multithreaded discrete event simulation library in C, using POSIX pthreads for parallelized replications and stackful asymmetric coroutines for concurrent simulated processes inside each thread

Decorator-first Python scheduler — cron/interval/at jobs with simple persistence and built-in run history.

A command-line tool to download photos from iCloud

Various shape regularization algorithms

Linear optimization software

A Jupyter book intended as an introduction to linear algebra with Jupyter notebooks.

Labs for the Foundations of Applied Mathematics curriculum.

The Z3 Theorem Prover