Compact, clone-on-write string.
Rust bindings for the Lean4 theorem prover
A Lean4 subset to Rust source-to-source compiler
Safe Rust bindings for Lean 4 interop: runtime initialization, object handles, typed ABI conversions, module loading, exported function calls, semantic handles, and callback handles.
Language-agnostic bytecode VM with fused superinstructions and a 3-tier Cranelift JIT (linear/block/tracing)
A string sequence library for Rust
Lean4 FFI
Brain-agnostic external memory for AI agents using NCD/GZIP semantic search. No embedding model required.
More compact Cow
Search, hash, sort, fingerprint, and fuzzy-match strings faster via SWAR, SIMD, and GPGPU
Worker-process boundary for lean-rs host workloads.
A command-line interface for the 'Criner' crates mining platform
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.