Rust API for CBMC and assorted CProver tools
Instantaneous Motion Generation for Robots and Machines.
Functional wrapper around Llama.cpp with Rust Dynamic datatypes and Vector store support for creating RAG applications
Search, hash, sort, fingerprint, and fuzzy-match strings faster via SWAR, SIMD, and GPGPU
Rat In a Tube, Halo: Combat Evolved HSC Script Compiler
The autonomous, self-improving AI agent. Single Rust binary. Every channel. Install with: cargo install opencrabs
Higher level Rust bindings for the Win32 WLAN API
A lightweight, column-based CRDT implementation in Rust
Low-latency OpenMP-style NUMA-aware cross-platform fine-grained parallelism library
A Rust-based static analyzer that applies Rust's ownership and borrowing rules to C++ code
Epee binary format library.
Epee binary format derive library.
No description provided.
No description provided.
No description provided.
No description provided.