A command-line tool for exporting, importing, packing, and unpacking script files.
A fast multi-threaded base64 encoding library and CLI tool
A Rust-Based implemenation of classic UNIX `cat` command
Neuro-Symbolic Reasoning (NSR) framework for hybrid AI systems combining neural networks with symbolic logic
A convenient splitting and concatenating filesystem.
PLONKish bridge to sumcheck proving (built on proof-cat-core)
PLONKish circuit system built on comp-cat-rs: circuits as morphisms in a free category
Field-agnostic proof-system primitives (sumcheck, multilinear, Fiat-Shamir, Merkle) shared by proof-cat and stark-cat
A highly parallel Perl 5 interpreter written in Rust
The autonomous, self-improving AI agent. Single Rust binary. Every channel. Install with: cargo install opencrabs
Binary that integrates XLS capabilities into a driver program
HIDAMARI mdp controler
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.