Knowledge management for the impatient

10x lower latency for cloud-native DataFusion

the color palette for internet lovers

The financial transactions database designed for mission critical safety and performance.

A Maven plugin for running and analyzing fuzzing campaigns

The Renaissance Benchmark Suite

Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals

Horizontal Fusion

Cross-platform Rust rewrite of the GNU coreutils

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

Distributed reliable key-value store for the most critical data of a distributed system

📟 A dynamic WebAssembly VM for embedded systems

Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

ExChain is a static/dynamic analysis tool aimed at pinpointing the root cause of failures resulting from exception propagation.

Bf-Tree: A Modern Read-Write-Optimized Concurrent Larger-Than-Memory Range Index

Implementation of the Cedar Policy Language

Definitional implementation of Cedar language and utilities for DRT

rust raft with improvements

A controlled concurrency testing framework for the JVM

Website for graphing performance of rustc

🔥 Time Travel Visual Debugger for Rust

A validation and profiling tool for AI infrastructure

An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.

Bit-precise calculator

A specialized hypervisor for Hermit.

Framework for testing concurrent data structures

Grok open release

Enable macOS HiDPI and have a native setting.