Compiles WebAssembly into a ZK friendly IR with infinite-registers and write-once memory.

The agent that grows with you

A fast, spec-compliant WebAssembly runtime written in Zig

ZK-proven Gameboy (DMG) emulator

A collection of Rust/Ratatui embedded projects targeting RP2040-Zero

Trustless access web2 from web3. Proveable TLS for all chains.

Amaru running on desktop and mobile

An EFI application to play the silly video

a multi-system chiptune tracker compatible with DefleMask modules

Real-time safe abstractions over audio data with support for all common layouts.

Add a REPL to a Bevy app

reverse engineering of the BLE protocol for LEGO Technic Move Hub 88019 (released in LEGO 42176)

A TUI for inspecting amaru internals

👑 A ratatui framework to build stateful applications with a React/Elm inspired approach

An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.

An efficient C++ loop classifier and tempo estimator

Low cost motion capture system for room scale tracking

Code. Art. Together.

Standalone RealtimeSanitizer for Rust

A modern Prolog implementation written mostly in Rust.

A reactive, functional state management library that brings the elegance and power of ClojureScript's re-frame to JavaScript and React/RN applications.

Powering Verifiable Computation for Nostr Data Vending Machines.

Mikan 🍊: The ZK Friendly DA Layer for Bitcoin L2s