astral-sh / uv

An extremely fast Python package and project manager, written in Rust.

QuipNetwork / quip-solver

The quip network mining stack. This includes a coordinator and links all of the official quip network miners.

hickory-dns / hickory-dns

A Rust based DNS client, server, and resolver

rust-lang / chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

razvandimescu / numa

Portable DNS resolver in Rust — .numa local domains, ad blocking, developer overrides

pubgrub-rs / pubgrub

PubGrub version solving algorithm implemented in Rust

prove-rs / z3.rs

Rust bindings for the Z3 solver.

reinterpretcat / vrp

A Vehicle Routing Problem solver

proofofbots / web-re-toolkit

Headless Akamai & Kasada solver that runs without a browser, and the reversing toolkit it was built with