An Open Source Machine Learning Framework for Everyone

Build cross-platform desktop apps with JavaScript, HTML, and CSS

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

Emscripten: An LLVM-to-WebAssembly Compiler

DuckDB is an analytical in-process SQL database management system

The official mirror of the V8 Git repository

PlayStation 3 emulator and debugger

Apache Arrow is the universal columnar format and multi-language toolbox for fast data interchange and in-memory analytics

Dolphin is a GameCube / Wii emulator, allowing you to play games for these two platforms on PC with improvements.

Cross-platform library for building Telegram clients

An industrial-grade C++ implementation of RAFT consensus algorithm based on brpc, widely used inside Baidu to build highly-available distributed systems.

Lean Theorem Prover

A compiler frontend for the C programming language

Lean theorem prover version 0.2 (it supports standard and HoTT modes)

Implementation of Paxos algorithm