Protocol Buffers - Google's data interchange format

SSDB - A fast NoSQL database, an alternative to Redis

A Non-Euclidean Rendering Engine for 3D scenes.

Packing your Node.js application into a single executable.

An experimental code editor for writing algorithms

Automatically identify anti-patterns in SQL queries

A superoptimizer for LLVM IR

Succinct Data Structure Library 2.0

Linux port of FAR v2

The Self-Driving Database Management System

Fast and stable sort algorithm that uses O(1) memory. Public domain.

"Fabother World" an interpreter for Another World (Out of this world).

A work-in-progress deobfuscator for movfuscated binaries

Demonstration of the common Akka patterns

Reference implementations of state-based CRDTs that offer deltas for all mutations.

Versor Geometric Algebra Library

NOPaxos consensus protocol

Speculative Paxos replication protocol

Consistent Hashing data structures and algorithms for C++

A ML-like programming language with type-based probabilistic behavior specification, developed as part of PFN summer internship 2018.

Box2D API for Idris