A flexible authorization library that combines role-based (RBAC), attribute-based (ABAC), and relationship-based (ReBAC) access control policies.

Granular builds of Rust projects for Nix

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

A native macOS app that allows users to chat with a local LLM that can respond with information from files, folders and websites on your Mac without installing any other software. Powered by llama.…

Formalization of DBSP

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

A Rust port of Jane Street's Incremental library.

📦 Repomix (formerly Repopack) is a powerful tool that packs your entire repository into a single, AI-friendly file. Perfect for when you need to feed your codebase to Large Language Models (LLMs) o…

A pretty (simple) alternative to strace

nivo provides a rich set of dataviz components, built on top of the awesome d3 and React libraries

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

Generate accurate and informative tree dumps of asynchronous tasks.

μscope 🔬

A charts library for rust

Leptos server signals synced through websockets

Rhai - An embedded scripting language for Rust.

An embeddable dynamic programming language for Rust.

An experimental stackless Lua VM implemented in pure Rust

A feature flag daemon with a Unix philosophy

A very fast linker for Linux

Benchmarks comparing the performance and features of popular Rust actor libraries, including Actix, Coerce, Kameo, Ractor, and Xtra.

The Feldera Incremental Computation Engine

Powerful SQL migration toolkit for Rust.

A robust message queue system for Rust applications, designed as a Rust alternative to Celery.

Rate Limiting middleware for Tower/Axum/Tonic/Hyper utilizing the governor crate

A pure-rust protobuf compiler, designed for use with prost-build

DuckDB is an analytical in-process SQL database management system

Making parsing a breeze