Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Objective-C runtime library intended for use with Clang.

Web-based lunar voxel game.

Modern, advanced, portable, multiprotocol bootloader and boot manager.

An operating system

SOM - Simple Object Machine

A macOS native CH341A Flash and EEPROM programmer and I2C/SPI debug tool.

Go implementation of FOKS -- client and server

a colorful modal hex editor

State-of-the-art TTS model under 25MB 😻

Zig bithacks

6800/6801/6809/6309 Disassembler

A Morotola 6809 assembler. There are many like it, but this is mine.

Providing electricity to a world near you.

OpenType font that disassembles Z80 instructions

Routing Tree Web Toolkit

Lightweight, self-contained Linux® server monitoring tool

A Ruby Gem that adds annotations to your Rails models and route files.

x86CSS is a working CSS-only x86 CPU/emulator/computer. No JavaScript required.

An HTTP/2.0 + HTTP/3.0 parser. 簡単でしょう

A 6502 based laptop design

An ASCII graph drawing app

Your local first engineering notebook

Panic Playdate reverse-engineering notes/tools - covers file formats, server API and USB commands

Alpine Linux (ARM) for Milk V Duo S

bare-metal i386 Gopher server for Linux

A tiny, lightning fast event loop, utilizing single interface for epoll, kqueue, iocp.

Apple Home Key Reader Implementation

Public repository of the Micro QuickJS Javascript Engine

Ruby 3.4.7/4.0.0 port to Cosmopolitan Libc - Actually Portable Ruby