Programming language

SpinalHDL implementation of the 3dfx Voodoo Graphics GPU

A Python library and CLI tool for decrypting encrypted SPICE model files, enabling engineers to use lawfully obtained models in any simulator.

AI review prompts

A beautiful, non-destructive, and GPU-accelerated RAW image editor built with performance in mind.

Home Assistant for PVS

Home Assistant integration for SunPower PVS5/PVS6 solar monitoring. Local API, no cloud required. Supports SunVault batteries and individual inverter health tracking.

Reverse engineering the Fujifilm G Mount used with GFX medium format cameras

EasyEffecys presets for the Framework laptop.

Kodkod solver for relational logic

The best way to get AI coding agents to solve hard problems in complex codebases.

A crate for demangling C++ symbols

The Daedalus data description language

AI the Rust Way

An transformer based LLM. Written completely in Rust

Refinement Types for Rust

Verifying the Rust standard library

A C++/Rust interop tool

Multi-platform high-performance compute language extension for Rust.

Whole program static stack analysis

Compile Rust compiler using Buck2

A modern hardware definition language and toolchain based on Python

Create fast and efficient standard cell based adders, multipliers and multiply-adders.

Adam's USB Stack

Yosys Open SYnthesis Suite

A refreshingly simple data-driven game engine built in Rust

SCOPETREX vector gaming on your oscilloscope!

An RP2040 dev board improving on aspects of the pi pico