Releases

Rust-centric multi-language HTTP framework with polyglot bindings

REST API server for Ceres harvesting, embedding, and search workflows

Atomic Kernel Inference 620 nanosecond capture for cryptographically-sealed, AgDR - Atomic Genesis Decision Records, court-admissible AI decision records

Asdf Overlay Node Addon

Asdf Overlay vulkan layer

Core Calimero infrastructure and tools

Typed attach-layout state-channel protocol shared between core and any plugin that consumes layout snapshots

A transliteration library for Indian Brahmic scripts

Typed scene-decoration protocol shared by bmux core and any decoration plugin

Core Calimero infrastructure and tools

Generic runtime appearance primitives for bmux renderers

Plugin SDK for bmux — the types and traits plugin authors need

Core Calimero infrastructure and tools

Forward Authentication Service for Calimero Network

Worker-process boundary for lean-rs host workloads.

Opinionated Rust host stack for embedding Lean 4 as a theorem-prover capability: typed sessions, kernel-check evidence handles, bounded MetaM services, progress, batching, and session pooling.

Safe Rust bindings for Lean 4 interop: runtime initialization, object handles, typed ABI conversions, module loading, exported function calls, semantic handles, and callback handles.

Lean 4 toolchain discovery, fingerprinting, symbol allowlist, and build-script helpers reusable by downstream embedders' own build.rs scripts.

Raw FFI bindings for the Lean 4 C ABI. See `lean-rs` for the safe front door.

Rust-centric multi-language HTTP framework with polyglot bindings

Python bindings for laddu (with MPI support)

Rust client SDK for feature experimentation and feature flags with Kameleoon.

Construct — memory-native AI agent runtime powered by Kumiho

Vulkan API bindings generated entirely from vk.xml, with a complete safe RAII wrapper covering compute and graphics: instance/device/queue, buffer, image, sampler, render pass, framebuffer, graphics + compute pipelines, swapchain, a VMA-style sub-allocator with TLSF + linear pools and defragmentation, sync primitives (fences, binary + timeline semaphores, sync2 barriers), query pools, and optional GLSL/WGSL/HLSL→SPIR-V compilation via naga or shaderc. Supports Vulkan 1.2.175 onward — swap vk.xml and rebuild.

Model Context Protocol server for mnem - the AI-native, local-first memory substrate for agents.

High-performance DeFi route-finding engine — embeddable library and CLI

HTTP RPC server for Fynd DEX router

Use piper TTS models in Rust

Safe Rust bindings to espeak-ng

Rust bindings to espeak-ng