Releases

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

Z3 SMT translation validation for the Synth compiler

Companion to cargo: dependency tracking, release gating, deploy, benchmarks, and documentation assembly. Project-agnostic.

Provide driver function binding for HDSC's HC32F448 MCU.

Provide driver function binding for HDSC's HC32F460 MCU.

CLI for the Harn programming language — run, test, REPL, format, and lint

Windows kernel-mode driver framework for VolumeCrypt-Kit

UEFI pre-boot loader framework for VolumeCrypt-Kit

A utility crate for handling database schema and models, auto-generating Rust structs from the NAHPU SQLite Drift schema.

Offline PackageURL validator using a prebuilt FST of known packages.

Shared logic for MockForge - routing, validation, latency, proxy

Admin UI for MockForge - web-based interface for managing mock servers

A utility crate for handling database schema and models, auto-generating Rust structs from the NAHPU SQLite Drift schema.

Cross-platform GUI framework.

Embedded hybrid search engine core — BM25 + vector + behavioral signals

AMQP protocol support for MockForge

Part of the zng project.

REPL and HTTP server for EdgeStore

Async Tokio integration for EdgeStore

Embedded hybrid search engine core — BM25 + vector + behavioral signals

HTTP client for the eigenda-proxy sidecar (EigenDA disperser/retriever via REST)

newton prover stake weights transporter

newton prover enclave compute

newton prover aggregator utils

newton prover chainio

newton chain watcher — smart event filter for direct on-chain tasks

newton-metric

newton protocol core sdk

Schema-first ingestion (CSV, JSON, Parquet, Excel) into an in-memory DataSet, plus Polars-backed pipelines, SQL, profiling, validation, and map/reduce-style processing.

Ditto is a peer to peer cross-platform database that allows mobile, web, IoT and server apps to sync with or without an internet connection.