LegNeato

windows-kernel-rs

oci-rules

buck2 oci rules

DiscoGrad

DiscoGrad - automatically differentiate across conditional branches in C++ programs

LayerProcGen

Layer-based infinite procedural generation

weval

youki

A container runtime written in Rust

maelstrom

Maelstrom is a fast Rust test runner that runs every test in its own container. Tests are either run locally or distributed to a clustered job runner.

coq-of-rust

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

talc

A fast and flexible allocator for no_std and WebAssembly

nix-remote-rust

remote-execution-nix

nix to bazel-re proxy

rustlantis

UB-free and deterministic rustc fuzzer

rustc_codegen_clr

This rust compiler backend(module) emmits valid CIL (.NET IR), enabling you to use Rust in .NET projects.

bevy_pmetra

Parametric Modelling for Bevy using Truck CAD kernel.

enigo

Cross platform input simulation in Rust

offset-allocator

A port of Sebastian Aaltonen's `OffsetAllocator` to Rust

LoG

Level of Gaussians

dafny

Dafny is a verification-aware programming language

bevy_flurx

Allows you to write sequential description of processes involving delays, user input, and other waits.

serde-save

the most complete serialization tree for serde

bevy_mod_rust_gpu

rust-gpu shaders for Bevy

h3o-wasm

Export to WebAssembly (WASM) of h3o functions, a rust implementation of the H3 geospatial indexing system.

llm.mojo

port of Andrjey Karpathy's llm.c to Mojo

spr

Submit pull requests for individual, amendable, rebaseable commits to GitHub

disolv

disolv - Dataflow Intended Simulation of Large scale VANETs

asterinas

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

spv-patcher

SPIR-V patching utility operating on the IR level to patch new code, or specialize existing code.

Daxa

Daxa is a convenient, simple and modern gpu abstraction built on vulkan

vortex

unfmt

A compile-time pattern matching library that reverses the interpolation process of `format!`.