A rust library that will generate a math table of an integer given by the user.
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.
surge synthesizer -- handle to lookup tables for various dsp functions
A comprehensive Rust library for actuarial mortality table calculations and life insurance mathematics
lookup table for common mathematical symbols
CIO provides two powerful procedural macros (`println!` and `input!`) that enhance console I/O operations in Rust, bringing Python-like convenience to Rust's type-safe environment.
A comprehensive mathematical set theory library implementing standard set operations, multisets, and set laws verification
factorion-bot (for factorials and related) on Discord
Tylax - High-performance bidirectional LaTeX ↔ Typst converter
Vision-Language models for oar-ocr
**Work in progress** A pure-Rust Lua interpreter/compiler
No description provided.
No description provided.
No description provided.