Releases

Tracing and debugging instrumentation for SP1-GPU

Utility functions for SP1 GPU operations

Patent-free multimedia framework for Rust

FFI bindings and CUDA build system for SP1-GPU

Renderer for NAViz

Command line tool to manage ontologies and their imports in a local environment

Command line tool to manage ontologies and their imports in a local environment

Core library for dodot dotfiles manager

A cross-platform windowing framework.

FFI bindings to Gnark for SP1

Recursion circuit for SP1 proof aggregation

The autonomous, self-improving AI agent. Single Rust binary. Every channel. Recommended: the 40MB prebuilt binary for macOS, Linux and Windows: https://github.com/adolfousier/opencrabs/releases

Compiler for SP1 recursion circuits

Terminal tabular data explorer — CSV/JSON/YAML/TOML/Parquet/Excel/SQLite viewer with filtering, sorting, pivot tables, and charts

Rivet RTOS: ESP32-S3 board port (UART0 console, watchdog disable, Xtensa CCOUNT tick) — real hardware, no QEMU model

Rivet RTOS: ESP32-C6 board port (UART0 console, watchdog disable, SYSTIMER clock) — real hardware, no QEMU model

Rivet RTOS board support: QEMU RISC-V 'virt' machine (rv32)

Terminal tabular data explorer — CSV/JSON/YAML/TOML/Parquet/Excel/SQLite viewer with filtering, sorting, pivot tables, and charts

Sugarloaf is Rio rendering engine, designed to be multiplatform. It is based on WebGPU, Rust library for Desktops and WebAssembly for Web (JavaScript). This project is created and maintained for Rio terminal purposes but feel free to use it.

Native tish test runner, expect, and Node-compatible assert

A static analysis platform for Rust program analysis and verification

Rivet RTOS: Xtensa LX7 ISA port (ESP32-S3) — context switch, exception/interrupt entry, no board/MMIO knowledge

Observable collections based on the `im` crate.

Layer-1 uTransport implementation for vsomeip (SOME/IP)

Somewhat low level unsafe wrapper around vsomeip

Python server runtime for Smithy Rust Server Framework.

A Rust-based terminal coding agent with modular architecture supporting multiple LLM providers

Anti virtualmachine or sites for check you program

ACP bridge and client implementation for VT Code

c ffi bindings for tailscale-rs