Empowering everyone to build reliable and efficient software.

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

The Magic Mask for Android

A markup-based typesetting system that is powerful and easy to learn.

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

📦✨ your favorite rust -> wasm workflow tool!

Blazing fast and correct x86/x64 disassembler, assembler, decoder, encoder for Rust, .NET, Java, Python, Lua

Kani Rust Verifier

x86 malware emulator

A relatively basic implementation of RWKV in Rust written by someone with very little math and ML knowledge. Supports 32, 8 and 4 bit evaluation. It can also directly load PyTorch RWKV models.

Navigating around TUM with excellence – A website and API to search for rooms, buildings and other places

Counts lines of code, fast

An RTOS designed and verified to enable reliable software updates and operation for embedded sytems.

Game Engine written in Rust. Successor of the GrizzlyBear-Engine

chimp compression in rust

Powerful and fun Discord Bot written in Rust

Intentionally corrupt STM32 flash to test code handling the flash ECCD interrupt