A graphical debugger for Rust MIR

Learn Rust by writing Entirely Too Many linked lists

Source-verified BIOS and firmware packs for RetroArch, Batocera, Recalbox, Lakka, RetroPie, EmuDeck, RetroBat, RetroDECK, RomM, BizHawk, ROCKNIX, and MiSTer FPGA. Platform-native verification, with…

Non-lexical lifetimes RFC.

An opinionated Matrix moderation bot.

Contents of asgard.chat

Fast Vim-inspired hex editor for the terminal

Markdown source for Michael Abrash's Graphics Programming Black Book

Matrix identity server implementation

Sydent: Reference Matrix Identity Server

Playdate port of Taxman Engine

An implementation of Joshua Yanovski's Ghost Cell paper.

CaDiCaL SAT Solver

theorem proving with categories of syntax and proof

Metamath Zero specification language

A research project in path semantics, a re-interpretation of functions for expressing mathematics

A debuggable automatic theorem prover for boolean satisfiability problems (SAT).

An undirected graph constraint solver for node and edge colors

A game engine for generic puzzle design and problem solving

PCRE2 development is based here.

Time calculations oriented for games

ast-grep Zed extension

Proxies and analyzes the Language Server Protocol

LSP proxy server allowing to run multiple LSP servers for a single programming language or to support socket-based LSP communication

LSP fanfare

A syntax highter for diffs, clarifying which parts of lines have changed

Old (2019) proof of concept

Git remote helper using IPFS as a datastore and IOTA transactions to broadcast updates.

Git Remote Helper to Push/Fetch from IPFS