A linear reachability solver for directional edges
rustgym solutions
Solver engine for SolverForge
A* algorithm plugin for the Lava language
Property Directed Reachability (PDR/IC3) engine for OxiZ - Horn clause solving
Dormand-Prince 8(5,3) adaptive Runge-Kutta integrator
Relation-first mathematics and scientific computing in Rust.
Convex-objective path parameterization for robotic trajectory planning.
Interactive 3x3x3 Rubik's cube in Bevy, with a guaranteed-optimal solver and a local HTTP control API
Pure Rust Real-Time Control Systems Framework
[DO NOT USE — UNDER ACTIVE DEVELOPMENT, NOT PRODUCTION-READY] Captcha solver scaffolding for chromiumoxide-driven browsers. The architecture is in place (vendor solvers, retry-loop iframe walking, VLM provider abstraction, real-WAF bench harness) but the live-vendor success rate is still 0% — Cloudflare Turnstile / hCaptcha / reCAPTCHA detect us at a TLS / CDP fingerprint layer that no flag-based stealth has cleared. Watch the repo; do not depend on this for any real workload.
Binary that integrates XLS capabilities into a driver program