A monitor of resources

Nix, the purely functional package manager

Open-source simulator for autonomous driving research.

🍃 Organic Maps is a free Android & iOS offline maps app for travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by the community. No ads, …

Taskwarrior - Command line Task Management

A tool for use with clang to analyze #includes in C and C++ source files

Succinct Data Structure Library 2.0

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

CaDiCaL SAT Solver

The Fast Downward domain-independent classical planning system

Greg's Template Library of useful classes.

The plan validation system.

nanothread — Minimal thread pool for task parallelism

Generic Reusable Parallel Patterns Interface

Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.

ForbidIterative planners for top-k, top-quality, and diverse planning problems

An extension of the Fast Downward planning system with state-of-the-art algorithms

TU DOrtmund lossless COMPression framework

A blend of the compact and sparse hash table implementations.

The source code for the HDA*, PBNF algorithm, and friends.

Distributed Fast Downward: classical planner for parallel/distributed environments

ProbFD is an extension of the Fast Downward planning system tailored for fully-observable probabilistic planning.

Hash Distributed A*

Web-based visualization tool for PDDL

The Fast Downward domain-independent classical planning system with extension for goal conflict explanations

Implementation of a number of search algorithms to compute K (non-simple) optimal paths. It provides both brute-force and heuristic search variants.