A precise specification for "Rust lite / MIR plus"

Lean 4 port of Iris, a higher-order concurrent separation logic framework

A living memory system that ingests long-horizon data to infer insights, enabling more decisive action, all while running on a single SQLite file locally.

The fastest Bloom filter in Rust. No accuracy compromises. Full concurrency support and compatible with any hasher.

Kernel-Bypass LibOS Architecture

A Hardware Description Language based on the Rust Programming Language

A framework for writing FPGA firmware using the Rust Programming Language

The tiniest PaaS you've ever seen. Piku allows you to do git push deployments to your own servers.

Complete implementations from "Algorithms for Modern Hardware"

Creusot helps you prove your Rust code is correct.

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

property testing and verification front-end for Rust

A Rust verification tool

C Bounded Model Checker

A requirements traceability tool

A verification toolchain for Rust programs

SMTscope automatically analyses and visualises SMT solver execution traces.

Verified Rust for low-level systems code

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

Kani Rust Verifier

Verifying the Rust standard library

Open source observability platform for logs, metrics, traces, frontend monitoring, pipelines and LLM observability. A sophisticated, simple and highly performant alternative to Datadog, Splunk, and…

Cloud Native Data Plane (CNDP) is a collection of user space libraries to accelerate packet processing for cloud applications using AF_XDP sockets as the primary I/O..

Plot Prometheus data in 2D/3D in CLI/GUI, with realtime update support and Grafana dashboard JSON model support

Rust bindings for libxdp

A Rust interface for Linux AF_XDP sockets

All in One Graph Extension for Postgres

Rust connector for the Apache AGE

In Memory Property Graph Server using a Shared Nothing design