A thread-safe observable property implementation for Rust
A thread-safe, async-compatible observable property implementation for Rust using Tokio
A Tauri plugin for embedding the mpv player in your app via libmpv.
A Tauri plugin for embedding the mpv player in your app by controlling its process via JSON IPC.
Velr embedded property-graph database (Rust driver, beta)
A secure, high-performance messaging protocol library
CQL data model abstraction for FHIR and other data models
Agent-first Notion CLI and MCP server for the API 2025-09-03+ data-source model
AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.
Pure-Rust AV1 codec — orphan-rebuild scaffold pending clean-room re-implementation.
CLI Astronomy Calculator and Ephemeris Generator
Requirement language and Kleene evaluator for OpenVet audit policies.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.