Grammar of Graphics in Rust

A scientific plotting library in Rust

An SMT solver for program verification

Fast lock-free MPMC broadcast square with Dynamic Enter/Exit, Readers-are-also-Writers, Batching, In-place Message Initialization, and more

A Lazy Clause Generation Constraint Programming solver written in Rust.

CP+SAT solver framework built to be reliable, performant, and extensible

shiroa is a simple tool for creating modern online books in pure typst.

🦀︱High-performance learned index structures

A Rust implementation of Continuous Conflict-Based Search for Multi-Agent Path Finding

Multi-agent (path finding) planning framework

Provides branch hinting and control functions for stable Rust

Toolbox for automated planning and combinatorial solving.

Validate and Run GitHub Actions locally.

Super fast gRPC server framework in synchronous mode.

A modular Rust crate for running AI tournament

VF2 subgraph isomorphism algorithm in Rust.

Command-line sampling profiler for macOS, Linux, and Windows

The AIPlan4EU Unified Planning Library

Quickly create and export quiz questions from a markdown subset.

Typed index version of Rust slice and Vec containers

Rust implementation of µKanren, a featherweight relational programming language.

A cargo subcommand for cleaning up unused build files generated by Cargo

Acting system based on the Refinement Acting Engine

High-level robotic simulator based on the Godot engine.

A pure Rust linear programming solver

The DAE and YAHSP temporal planning solvers

A new way to see and navigate directory trees : https://dystroy.org/broot

A static, type inferred and embeddable language written in Rust.

Collision Avoidance Path Planning in Rust-lang

Lisp dialect scripting and extension language for Rust programs