Your binary serialization library

A programming language that is higher level than Rust but lower level than Go. Someday, anyways.

Pikiwidb is a Redis-Compatible database developed by Qihoo's infrastructure team.

Mako: Speculative Distributed Transactions with Geo-Replication

A C++/Rust interop tool

Proxy: Next Generation Polymorphism in C++

The Artifact Evaluation Repository for NeoBFT

C++17 Run-time Polymorphism (Type Erasure) library

A bidirectional bindings generator for C++ and Rust.

Dafny is a verification-aware programming language

Slooo: A Fail-slow Fault Injection Testing Framework

Verified Rust for low-level systems code

C++ Reflection Library

Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions

Goose converts a subset of Go to Rocq

C++20 implementation of mutable constexpr expressions

Unison file synchronizer

Synchronize directory hierarchies using Hash-Tree's

C implementation of the Raft Consensus protocol, BSD licensed

A C++ await/yield emulation library for stackless coroutine

The MSR Ironclad project builds provably secure and reliable systems.

State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.

gallina frontend for CompCert

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++