Releases

Agent-oriented CLI for VolumeLeaders data

Browser-session API client for VolumeLeaders data

Core REPL engine for the Symbi platform

An Aeronet compatible Bevy plugin providing network IO with QUIC based on s2n-quic

Agent Runtime System for the Symbi platform

KNX TP-UART data link layer for embedded targets (Siemens TP-UART 2, OnSemi NCN5120/5130)

KNX device stack — group objects, interface objects, ETS programming

Platform-independent KNX protocol types, CEMI frames, and DPT conversions

Opinionated Rust host stack for embedding Lean 4 as a theorem-prover capability: typed sessions, kernel-check evidence handles, bounded MetaM services, batching, and session pooling. Built on top of the `lean-rs` FFI primitive.

Python bindings for laddu (with MPI support)

Safe Rust bindings for hosting Lean 4 capabilities: runtime initialization, owned and borrowed object handles, typed first-order ABI conversions, compiled module loading, exported function calls, semantic handles, bounded meta services, batching, and session pooling.

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.

A library of differential privacy algorithms for the statistical analysis of sensitive private data.

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.

Native bindings to Ditto library

This is an internal component crate of uv

Data track core for LiveKit

A crate providing concrete AVX accelerated CPU implementations of poulpy-hal through its open extension points

egui-based preferences window for Vernier, the native pixel-measurement screen overlay.

Platform abstraction and native overlay backends (macOS, Linux/Wayland) for Vernier.

Self-service onboarding CLI + runtime daemon for OpenLatch Editors and Providers

Agent-oriented CLI for VolumeLeaders data

Browser-session API client for VolumeLeaders data

JSON-first RouterOS CLI bridge for AI agents and automation.

Telegram HTML and Markdown entity parsers for ferogram

An Aeronet compatible Bevy plugin providing network IO with QUIC based on s2n-quic

Advanced UI components (node graph, rich text, etc.) for the Hikari design system

Core UI components (40+) for the Hikari design system

Core UI components (40+) for the Hikari design system