Bluespec Compiler (BSC)

🔎 Static code analysis engine to find security issues in code.

Blazing fast and lightweight PostGIS, MBtiles and PMtiles tile server, tile generation, and mbtiles tooling.

A reverse proxy like nginx, built on pingora, simple and efficient.

A fast, memory-safe web server written in Rust.

This repository is the home of the River reverse proxy application, based on the pingora library from Cloudflare.

Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

💎 Amber the programming language compiled to Bash

A rewrite of YARA in Rust.

ZX Spectrum emulator written in Rust

Unix-like OS in Rust inspired by xv6-riscv

Verified Rust for low-level systems code

A static verifier for Rust, based on the Viper verification infrastructure.

Rust type safe netlink library

Deep learning at the speed of light.

Incremental garbage collection from safe Rust

Borgo is a statically typed language that compiles to Go.

A Flash Player emulator written in Rust

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

Blazingly fast LLM inference.

Linear algebra foundation for the Rust programming language

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…

An ergonomic and safe syscall interception framework for Linux.

2D vector & raster editor that melds traditional layers & tools with a modern node-based, non-destructive, procedural workflow.

GeoArrow in Rust, Python, and JavaScript (WebAssembly) with vectorized geometry operations

Kanidm: A simple, secure, and fast identity management platform

🚂 🦀 The one-person framework for Rust for side-projects and startups