Validate and Run GitHub Actions locally.

Super fast gRPC server framework in synchronous mode.

A modular Rust crate for running AI tournament

Toolbox for automated planning and combinatorial solving.

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

Pure functional Lisp implemented in Rust

SAT solver written in Rust

Fast JVM launching without the hassle of persistent JVMs.

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

A minimalistic and high-performance SAT solver

Runtime code generation for the Java virtual machine.

an implementation of Wadler's a prettier printer

Demo for high-performance type theory elaboration

Automatically generated diagrams and animations for Scala data structures

functional, durable data structures

A Scala kernel for Jupyter