Docs.rs

An axum-based library for rapid web development, currently focused on the view layer: axum + maud + htmx.

Proc-macro half of vixen: #[action], #[view_path], #[id], assets! and assets_router!. Use them through axum-vixen.

A command-line FPGA toolchain manager and build system for Intel/Altera FPGAs

Build-script half of vixen: drives bun over the page entrypoints and hands rustc the manifest.

Interactive ridgeline maps of real terrain, as a local web app

Ridgeline terrain art pipeline: SRTM fetch, preprocess, geometry, SVG

Build-time code generation for symplex: derive symbolic equations and emit optimized no_std Rust

Transport-neutral library for the CAR daemon JSON-RPC dispatcher (used by car-server and tokhn-daemon)

Language server for the Quarb code level — outline, definition, references, and hover over source code, on LSP JSON-RPC and kaivrpc

Exact symbolic mathematics for Rust: calculus, summation, solving, linear algebra, transforms, compile-time dimensional analysis, and Rust/C code generation

A faithful fake of the UpCloud API 1.3 — the lies included — backed by real KVM guests

Structure-aware query CLI for the Quarb engine

mimalloc global allocator with pprof-compatible sampled heap profiling

Shared types and math for the rushi agent harness (event log, hook ABI, compact math, stage types, rewind/fork active-path math)

Rust bindings for sentry-protos