Jail your AI agent

Beginner, advanced, expert level Rust training material

Fast Downward implementation of the Nancy real-time search algorithm

A procedural macro development framework designed to simplify and add structure to rust macro development

JuLS is a Julia Local Search solver that combines Constraint Based Local Search (CBLS) and Constraint Programming (CP)

Methods for deordering and reordering partial order plans.

Solve production scheduling problems with constraint programming in Python.

A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.

The fastest and the most accurate file search toolkit for AI agents, Neovim, Rust, C, and NodeJS

The API to use MIMaaS directly in your favorite IDE! :)

☁️ Ultra-fast, secure & lightweight self-hosted cloud storage — your files, photos, calendars & contacts, all in one place. Built in Rust.

Kani Rust Verifier

Development version of CREATOR

A flashcards application for the COSMIC™ desktop

A simple note app with good performance and PDF import support

A library for constructing and evaluating state features made up of description logics for planning.

mini cli search engine for your docs, knowledge bases, meeting notes, whatever. Tracking current sota approaches while being all local

Fast iterable JSON parser.

A minimal, secure Python interpreter written in Rust for use by AI

Fast Markdown linter and formatter written in Rust

🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platfor…

A polyglot document intelligence framework with a Rust core. Extract text, metadata, images, and structured information from PDFs, Office documents, images, and 91+ formats. Available for Rust, Pyt…

a free and open source speech synthesizer for Russian and other languages

Version 6.0 of the CREATOR simulator

A free, open source, and extensible speech-to-text application that works completely offline.

Exhaustive iteration trait in Rust

Streamlining Solution, Architecture, and Requirements for perfect Alignment.

Conan - The open-source C and C++ package manager

Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need