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 code is correct in an automated fashion.

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

🚀 10x easier, 🚀 140x lower storage cost, 🚀 high performance, 🚀 petabyte scale - Elasticsearch/Splunk/Datadog alternative for 🚀 (logs, metrics, traces, RUM, Error tracking, Session replay).

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

Reproducing the memgraph benchmark using Gatling

An embedded key-value database in pure Rust

🐙 Guides, papers, lecture, notebooks and resources for prompt engineering

A next-generation test runner for Rust.