The markdown editor that's just a textarea https://overtype.dev

A minimal Linux that runs as a coreboot or LinuxBoot ROM payload to provide a secure, flexible boot environment for laptops, workstations and servers.

An open source SPI flash emulator and monitor

This repository contains the source html files for the website complex-analysis.com

VSCode extension that demonstrates the use of large language models (LLMs) for active debugging of programs

A custom pandoc reader for literate programming in lean

A macro system for author friendly xml.

Lean 4 library for pretty printing expressions as LaTeX

Distribute and run LLMs with a single file.

GitHub copy of the NTS/TeX source code from 2001

Work in progress: View and edit parts of multiple files in one buffer

latex2edx system for creating edX courses

system dynamics modeling

Block Tiktok adds and access

An embedded scheme interpreter in Rust

My tools and notebooks for 18.02x part 2 on EdX

Pelican plugin that renders mathematics via the MathJax JavaScript engine

A "2d slider" component to select two numerical inputs.

a tiny tile-based editor

LLVM compiled to JavaScript using Emscripten

A cross-platform minigolf game written in C.

A PEG parsing machine with support for incremental parsing.

Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

An R7RS Scheme implemented in WebAssembly

Jupyter Kernel for MIT Scheme

A collection of code from the 2021 run of 18.02x

Symbolic programming for the next generation of numerical software

Collection of Hyperdimensional Computing Projects

Swank server that proxies to ulisp on hardware

The fastest font renderer in the world, written in pure rust.