Results for spec_unit

A simple, expressive unit test framework for Rust

Pure-Rust AV1 codec — orphan-rebuild scaffold pending clean-room re-implementation.

Library that facilitates the mathematical analysis of ice cream mixes and their properties.

Pure-Rust EVC (MPEG-5 Essential Video Coding, ISO/IEC 23094-1) decoder — baseline + main profile. Round-1 scaffold: NAL + parameter-set parsing only; pixel decode pending.

Code review engine for mana — risk scoring, diff analysis, HTML viewer, feedback loop

Coordination substrate for AI coding agents — verified gates, dependency-aware scheduling, and multi-agent orchestration

Core library for mana — task tracker for AI coding agents

Resource-aware dispatch engine for mana agents

A highly parallel Perl 5 interpreter written in Rust

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.

Integers of unknown sizes.

Pure-Rust STL (stereolithography) ASCII + binary mesh codec — implements oxideav-mesh3d's Decoder/Encoder traits