Stars
An extremely fast Python type checker and language server, written in Rust.
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
🔎 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 static verifier for Ru 97E4 st, based on the Viper verification infrastructure.
Borgo is a statically typed language that compiles to Go.
💥 Blazing fast terminal file manager written in Rust, based on async I/O.
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.