Open Source Computer Vision Library

An open-source C++ library developed and used at Facebook.

FlatBuffers: Memory Efficient Serialization Library

MLX: An array framework for Apple silicon

A toolkit for making real world machine learning and data analysis applications in C++

Google's Operations Research tools:

The Z3 Theorem Prover

Record and Replay Framework

The public CGAL repository, see the README below

Automatic PageSpeed optimization module for Nginx

Low-latency machine code generation

Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.

An FHE compiler for C++

HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizati…

KLEE Symbolic Execution Engine

Stanford Network Analysis Platform (SNAP) is a general purpose network analysis and graph mining library.

An Iterative Closest Point (ICP) library for 2D and 3D mapping in Robotics

A fast, memory efficient hash map for C++

Official git repository for libdivide: optimized integer division

C++11 port for the Node: native performance and modern simplicity.

Benchmarking Deep Learning operations on different hardware

Fatal is a library for fast prototyping software in modern C++. It provides facilities to enhance the expressive power of C++. The library is heavily based on template meta-programming, while keepi…

GraphChi's C++ version. Big Data - small machine.

SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.

A fast K Nearest Neighbor library for low-dimensional spaces

KaHIP -- Karlsruhe HIGH Quality Partitioning.

GAP Benchmark Suite

PowerGraph: A framework for large-scale machine learning and graph computation.

Sub-Pixel Edge Detection Using OpenCV

Distributed Communication-Optimal Matrix-Matrix Multiplication Algorithm