Kani Rust Verifier

Kernel-Bypass LibOS Architecture

Lunatic is an Erlang-inspired runtime for WebAssembly

Temporal Logic of Actions Modeling for Python

build-once run-anywhere c library

An interpreted relational query language that compiles to SQL.

Python tools to deal with flatbuffers: flatc.py and thrift2fbs.py. Forked from eleme/thriftpy.

Virtual File System written in Rust

A dynasm-like tool for rust.

Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.

A fast bump allocation arena for Rust

Synchronization primitives for Futures and async/await based on intrusive collections

A modern Quake engine.

Fast and friendly HTTP server framework for async Rust

A Rust implementation of the K2Tree, an extremely space-efficient way of representing sparse bit-matrices.

Fast & scalable MCMC for all your exoplanet needs!

Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions

This library is used to lookup the sizes of various C-types of historical data models

A high-performance JSON Schema validator for Rust

Type-safe transmutations between layout-compatible types.

Type erasure for async trait methods

A small and fast async runtime for Rust

OctoSQL is a query tool that allows you to join, analyse and transform data from multiple databases and file formats using SQL.

📈 A small, fast chart for time series, lines, areas, ohlc & bars

Fast graphs in rust

A Rust implementation of sparse graph matrices

A collection of TLA⁺ specifications of varying complexities.

A barebones utility for metamorphic testing in Rust

A high-performance observability data pipeline.

A modern Prolog implementation written mostly in Rust.