Rust AI Tools

How Vara uses ZK-inclusion proofs to bridge the gap between Wasm actors and the EVM without a middleman.

A limit order book that wins speed by splitting one hard problem into three cheaper ones: sorted prices, linked order queues, and direct order lookup.

A C++17 limit order book that keeps the hot path lean, pushes I/O off the critical path, and uses replay plus a reference matcher to make correctness testable.

A tiny no_std compatibility layer with a big job: keep Zcash code portable, safe, and independent of brittle ecosystem dependencies.

A brute-force combat optimizer that simulates thousands of fights, loads game logic from declarative data, and uses parallel Rust to replace guesswork with math.

A streaming terminal renderer that repairs broken fences, finalizes immutable blocks, and keeps complex markdown usable while tokens are still arriving.

A tiny OxCaml scratchpad where the same image-diff workload is rewritten from boxed records to unboxed fields to SIMD lanes, then checked against Zig as a performance foil.

It uses ffprobe and ffmpeg to resize video to 540px wide, sample it at 1 FPS, and emit raw RGB24 buffers or JSON, so downstream code gets data instead of a decoder problem.

A tiny binary, a semaphore, and 10,000 queued tasks. This is a clean look at how Rust can simulate load without losing control of it.

A tiny Rust terminal simulator that updates cells in place, turning grid order into the hidden mechanic.

A Rust server that teaches Redis from the wire up, with RESP parsing, passive expiration, and a replication handshake that does just enough to look real.