Releases

Bluetooth battery model, macOS data sources and polling engine behind the blubat CLI

Bindings to the UHD (USRP Hardware Driver) library, which provides support for Ettus Research / National Instruments Universal Software Radio Peripheral devices

A pure Rust framework for pairing-based cryptography using BN curves

A pure Rust framework for pairing-based cryptography using BLS24 curves

Rust bindings for Barretenberg, a C++ cryptographic library for zero-knowledge proofs

Rust bindings for Barretenberg, a C++ cryptographic library for zero-knowledge proofs

open Computer Algebra System — high-performance symbolic computation in Rust

A pure Rust framework for pairing-based cryptography using BLS12 curves

Cross platform ui framework

oxi AI agent SDK — build isolated, multi-agent AI systems

Focused Proof Room quickstart server

High-level Rust wrapper for D-PDU implementations.

Rust bindings and utilities for FlyteIDL protobufs.

High-level Rust wrapper for D-PDU implementations.

Offline PackageURL validator using a prebuilt FST of known packages.

WASM guard runtime for Chio -- load and execute .wasm guard modules with fuel metering

Desktop Markdown/vault viewer for toMarkdownMCP (Tauri)

A friendly rest client on top of hyper.

A friendly rest client on top of hyper.

A friendly rest client on top of hyper.

Minimal Rust wrapper around the Scaphandre Windows RAPL driver

CPU symbolic execution + exploit witness construction. Takes a weir-produced source→sink path and returns a concrete input that drives execution to the sink. Z3-backed.

Core library for tree-sitter language pack - provides compiled parsers for 371 languages

A language server, formatter, and linter for LaTeX

Internal headless-browser fallback used by the crawlberg crawler. Not intended for direct use.

Aetheric Silicon: turn this host's RAM into a Digital GPU endpoint

Lightweight Knowledge Graph for AI-Assisted Development

Distrib helps you distribute your software.

GraphForge command-line interface

Backend infrastructure for Rio terminal