Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
A fast framework for writing baseline compiler back-ends in C++
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
Perforator is a cluster-wide continuous profiling tool designed for large data centers
A zombienet based orchestration for easily fork-off polkadot
Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…
ergonomic and precise error handling built atop type-level set arithmetic
Super-fast Merklized Embedded Key-Value Store for blockchain nodes
Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
A fast and secure RISC-V based virtual machine
Foundational Models for State-of-the-Art Speech and Text Translation
Command-line sampling profiler for macOS, Linux, and Windows
Boojum, the scariest SNARK implementation.
A model checker for implementing distributed systems.
Inter-event timing metrics on top of tracing.