Exact geometric algebra from the balanced ternary axiom. Governed rewriting, self-certifying canonicalization via the Kase Optimality Theorem.
Primitive types and operations for type-level logic.
Multi-domain fixed-point arithmetic with geometric extension: Lie groups, manifolds, ODE solvers, tensors, fiber bundles — zero-float, 0 ULP transcendentals
A library to manipulate balanced ternary values.
Plastic memory capsule with 4-temperature tensor states (hot/warm/cool/cold), bidirectional transitions, and hash-chained auditability
Balanced ternary arithmetic library with bitsliced storage and VSA operations
A highly parallel Perl 5 interpreter written in Rust
C. elegans nervous system — 302 undifferentiated neurons develop into a functional worm brain through imaginal disc developmental phases
rustgym solutions
Awk implementation in Rust with broad CLI compatibility, parallel records, and experimental Cranelift JIT
Binary that integrates XLS capabilities into a driver program