Lean 4 programming language and theorem prover

Universal HTAP Engine

An implementation of various in-memory concurrency control protocols

A didactic on-disk key-value database management system.

C++ fast transactional key-value storage.

Concurrency Control Benchmark

simple transaction implementation with go

a tiny library for C++

Constraint geometry processing language

The most widely used Python to C compiler

This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Haskell record type.

Set operation library and tool for python and csv-like data.

Parser combinator with Regular Expression.

Presentations and whitepapers covering some of the on going device mapper work

This is obsolute repository. Use https://github.com/walb-linux/walb-driver

SImple IO benchmark to measure response and throughput.

An Online Backup Tool for VMware vSphere (OBSOLETE)

Sample source code of the book Linux Device Drivers for the latest kernel.

MessagePack is an extremely efficient object serialization library. It's like JSON, but very fast and small.