An extensible, state-of-the-art columnar file format

A Rust procedural language handler for PostgreSQL

Rust implementations of succinct data structures

🍇 GRAPE is a Rust/Python Graph Representation Learning library for Predictions and Evaluations

An ε-copy serialization/deserialization framework for Rust

Fullstack app framework for web, desktop, mobile, and more.

A library for writing reactive single page web apps

Dataframes powered by a multithreaded, vectorized query engine, written in Rust

🍄 an alleged 'operating system'

Social media bot that posts personalized license plate applications the California DMV received

GlueSQL is quite sticky. It attaches to anywhere.

Network Programming with Relational and Procedural Abstractions (NERPA)

Logic programming in Rust

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.

Memory Management ToolKit

A list of programming languages implemented in Rust, for inspiration.

Kernel-Bypass LibOS Architecture

Accord library for Apache Cassandra®

A Swiss Army knife for read-write quorum systems

in-place allocation-reusing queues for Rust

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

Usable, easy and safe pure-Rust crypto

Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.

OceanBase is an enterprise distributed relational database with high availability, high performance, horizontal scalability, and compatibility with SQL standards.

small vectorized evaluator

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.

Portable high-level bitwise manipulation algorithms

C++ header-only library with methods to efficiently encode/decode Morton codes in/from 2D/3D coordinates