Stars
Dafny is a verification-aware programming language
Change Detection for Continuous Performance Engineering
A controlled concurrency testing framework for the JVM
Unleash the performance potential of your Parquet files.
Low-friction Linux profiler with integrated web viewer
A Go time testing library for writing deterministic unit tests
Benchmark for evaluation of LLMs on concurrency bug fixing tasks
Find code blocking your Tokio workers. eBPF-powered, no instrumentation.
Bf-Tree is a modern read-write-optimized concurrent larger-than-memory range index in Rust from MS Research.
Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier
Debug, evaluate, and monitor your LLM applications, RAG systems, and agentic workflows with comprehensive tracing, automated evaluations, and production-ready dashboards.
OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental req…
🐟 鯰: Programmable fuzzy scheduler for testing distributed systems
An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.
Run Windows apps on 🐧 Linux with ✨ seamless integration
Open source Java implementation for Raft consensus protocol.
A multiplayer mod for the game Dyson Sphere Program
Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.
Lightweight coding agent that runs in your terminal