8000 Stars
A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.
Create Solana programs with no dependencies attached
an experimental new programming language based on interaction nets
Dagor Engine and Tools source code from Gaijin Games KFT
Open 3D Engine (O3DE) is an Apache 2.0-licensed multi-platform 3D engine that enables developers and content creators to build AAA games, cinema-quality 3D worlds, and high-fidelity simulations wit…
A port of Sebastian Aaltonen's `OffsetAllocator` to Rust
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Lock-free SPSC FIFO ring buffer with direct access to inner data
🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
Heap profiling and ad hoc profiling for Rust programs.
a minimal, allocation-free Prometheus/OpenMetrics metrics implementation for `no-std` and embedded Rust.
Fast, efficient, and robust memory reclamation for Rust.
A fast and ergonomic concurrent hashmap for read-heavy workloads.
Low latency inter-thread communication library in Rust inspired by the LMAX Disruptor.
Rust port of Spice, a low-overhead parallelization library
Golem is an open source durable computing platform that makes it easy to build and deploy highly reliable distributed systems.
Demonstration of local perception filters in a browser
A zero-copy Rust library that builds and parses network packets in-place.