A low-overhead dynamic binary instrumentation and modification tool for ARM (both AArch32 and AArch64 support) and RISC-V (RV64GC).

A comment system powered by GitHub Discussions. 💬 💎

A minimal Tensor Processing Unit (TPU) inspired by Google's TPUv1.

🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites

An open-source static random access memory (SRAM) compiler.

The Herd toolsuite to deal with .cat memory models (version 7.xx)

The Xr0 Verifier for C

My favorite C programming practices.

A massively parallel, optimal functional runtime in Rust

A massively parallel, high-level programming language

A port of Sebastian Aaltonen's `OffsetAllocator` to Rust

Terminal image viewer with native support for iTerm and Kitty

🌊 Digital timing diagram rendering engine

Compile and execute C "scripts" in one go!

A simple logging library implemented in C99

The Boehm-Demers-Weiser conservative C/C Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)

A riscv32im CPU

RISC-V CPU in Hardcaml

A minimal GPU design in Verilog to learn how GPUs work from the ground up

The Libertinus font family

An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.

Veryl: A Modern Hardware Description Language

A curated list of awesome Zotero resources

A barebones 64-bit RISC-V micro-controller class CPU, implementing the I(nteger), M(ul/div), C(ompressed) and K(ryptography) extensions.

C chess library

A command-line tool for displaying vcd waveforms.

Over 550 flashcards to learn Rust from first principles. Written in markdown with script to convert them to an Anki deck or PDF file.

A superhuman chess engine.

⭐️ A friendly language for building type-safe, scalable systems!

Neural Network Trainer