sanxiyn
Follow
Stars
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 Rust, 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.
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
A highly customizable Changelog Generator that follows Conventional Commit specifications ⛰️
Skytable is a modern scalable NoSQL database with BlueQL, designed for performance, scalability and flexibility. Skytable gives you spaces, models, data types, complex collections and more to build…
Ultra fast, persistent database supporting Valkey API
A portable accelerated data query and LLM-inference engine, written in Rust, for data-grounded AI apps and agents.
An open source payments switch written in Rust to make payments fast, reliable and affordable
An open world, open source voxel RPG inspired by Dwarf Fortress and Cube World. This repository is a mirror. Please submit all PRs and issues on our GitLab page.