Toolbox for automated planning and combinatorial solving.

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

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