pika is a C++ tasking library built on std::execution with fibers, CUDA, HIP, and MPI support.

flourish is a convenient and full-featured signals framework for Rust. isoprenoid is the signals SDK backing flourish.

ZIO — A type-safe, composable library for async and concurrent programming in Scala

Effects-based direct-style IO for multicore OCaml

Dictionary designed for read-mostly scene.

ZeroMQ core engine in C++, implements ZMTP/3.1

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

Version control for a delivery app - applying concurrency and distributed strategies

A platform to build and run apps that are elastic, agile, and resilient. SDK, libraries, and hosted environments.

Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.

A Kotlin-friendly interface to log against the Log4j API

highly concurrent, low-latency HTTP server implemented in Rust. The server is designed to handle a multitude of simultaneous client connections while maintaining strict adherence to HTTP/1.1 protocol specifications.

C++ Concurrency Patterns

A simple async serial queue for Swift concurrency

300+ algorithms, data structures, multi-threading and concurrency solutions to LeetCode problems with sample data.

A distributed, fault-tolerant task queue

An automated deductive program verifier based on concurrent separation logic

An experimental operating system for 32bit Amiga computers.

Verifying concurrent crash-safe systems

Batch similar requests together transparently