usamoi

leveldb

LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

ClickHouse

ClickHouse® is a real-time analytics DBMS

remote-jobs

A list of semi to fully remote-friendly companies (jobs) in tech.

sled

the champagne of beta embedded databases

flamegraph

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

bustub

The BusTub Relational Database Management System (Educational)

tinykv

A course to build distributed key-value service based on TiKV model

bastion

Highly-available Distributed Fault-tolerant Runtime

hedgehog-lab

Run, compile and execute JavaScript for Scientific Computing and Data Visualization TOTALLY TOTALLY TOTALLY in your BROWSER! An open source scientific computing environment for JavaScript TOTALLY in your browser, matrix operations with GPU acceleration, TeX support, data visualization and symbolic computation.

arrow-rs

Official Rust implementation of Apache Arrow

ceresdb

CeresDB is a high-performance, distributed, cloud native time-series database.

inkwell

It's a New Kind of Wrapper for Exposing LLVM (Safely)

salsa

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

kani

Kani Rust Verifier

book

A textbook on informal homotopy type theory

rust-rocksdb

rust wrapper for rocksdb

mathlib

Lean 3's obsolete mathematical components library: please use mathlib4

tinysql

A course to build the SQL layer of a distributed database.

taplo

A TOML toolkit written in Rust

hyfetch

🏳️‍🌈 🏳️‍⚧️ Neofetch with LGBTQ+ pride flags!

arrow2

Transmute-free Rust library to work with the Arrow format

hstream

HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.

databend-internals

Databend 内幕大揭秘

scalable-concurrent-containers

High performance containers and utilities for concurrent and asynchronous programming

agda-unimath

The agda-unimath library

thin-vec

A Vec That Has a Smaller size_of

Rare

Build your own Riscv Emulator in Rust.

cn-xcpc-docs

Documents about setting up ICPC contest environment

Corundum

A Rust library for safely programming persistent memory

bento