Common utilities for plunk SDK
A high-performance Rust library for manifold optimization built on the Burn deep learning framework
Lie group manifolds (SE2, SE3, SO2, SO3, Rn) with analytic Jacobians for optimization
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.
A fast, simple, and easy-to-work-with Rust SDK for Plunk — send emails without the hassle.
Safe Rust bindings to manifold3d — f64-precision CSG booleans, 2D cross-sections, extrusion, SDF, and OBJ I/O with Send safety and automatic memory management
Raw FFI bindings to the manifold3d C API for constructive solid geometry
Manifold Embedded Database
Vector storage optimizations for Manifold embedded database
High-performance nonlinear least squares optimization with Lie group support for SLAM and bundle adjustment
Safe, ergonomic Rust bindings for Box2D v3
Fast, parallel, memory-efficient Rust implementation of UMAP