Caffe: a fast open framework for deep learning.

The open-source database for the realtime web.

The Z3 Theorem Prover

A retargetable MLIR-based machine learning compiler and runtime toolkit.

Lean Theorem Prover

[INACTIVE] Avian is a lightweight virtual machine and class library designed to provide a useful subset of Java's features, suitable for building self-contained applications.

C++ template library for fans of functional programming

Ruby in the browser.

VMime Mail Library

Node.js native add-ons in C

Documentation for the iWork '13 File Format

Brainfuck interpreter written in the C preprocessor

TokuDB for MySQL 5.5

Mathematics prototyping system

A simple C++ Lisp Implementation.