Releases

do nothing, just for fun

Standard library of circuits and utilities for Midnight zero-knowledge proofs

Bep vector store index integration for LanceDB.

Neo4j implementation of a Bep vector store.

A no_std compatible IBUS RC protocol parser for embedded systems

A Rust crate for debugging and matching patterns in data structures

Sorting in linear time 🤔

Trusted CI wrapper that validates and launches a verified Amiss engine

A somewhat fully-fleged rust-like programming language that, surprisingly, compiles to scratch

Checks documentation against the repository tree it describes

Discovery, reference resolution, correlation, evaluation, and policy for Amiss

A sys crate for libfdt.

Service for Verifiable Trust Agents operating in Verifiable Trust Communities

Document parsers for Amiss, pinned to the CommonMark and GFM corpora

Read-only Git object store behind a no-follow handle boundary, for Amiss

Canonical JSON, digest domains, and the machine contracts of Amiss

MongoDB implementation of a Bep vector store.

Circuit and gadget implementations for Midnight zero-knowledge proofs

An opinionated library for building LLM powered applications.

Fast Rust scanner for licenses, copyrights, package metadata, SBOMs, and provenance data.

provides small tool to query and use ESDM

provides interface to ESDM RNG server

provides interface to ESDM RNG server (ffi-bindings)

SystemVerilog formatter

Cloudflare colo to Durable Objects location hint mapping

Snarkify Rust SDK for Streamlined Serverless Prover Development and Deployment

portable-rustls-rustcrypto crate

Markdown support for Auk.

Integrate your ReactJS with your Rust CI and build it.

Internal crate that implements Bep derive macros.