Results for Calculator_Test_Pack

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 Rust WebAssembly calculator with grammar-based expression parsing using links-notation

Mesh processing, topology, and geometry algorithms for OxiHuman

Test alignment, size and offset for structs.

Time-based operators extending fluxion-stream with monotonic timestamps

Cross-platform library for calculating derived golf shot values

The binary-layout library allows type-safe, inplace, zero-copy access to structured binary data. You define a custom data layout and give it a slice of binary data, and it will allow you to read and write the fields defined in the layout from the binary data without having to copy any of the data. It's similar to transmuting to/from a `#[repr(packed)]` struct, but much safer.

Cross-platform ethanol pharmacokinetics library (Widmark, Watson, absorption modeling)

Basic wasm demo to test and create full stak rust codes

A rust crate with basic functions to encode & decode Protocol Buffer binary messages.

A wasm implementation of the SRA protocol

1.58-bit quantization engine for BitNet neural networks