Bitcoin Core integration/staging tree

This is the official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.

A brief computer graphics / rendering course

A fast and easy-to-use status bar

Nix, the purely functional package manager

Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.

Google's Operations Research tools:

The official Open-Asset-Importer-Library Repository. Loads 40+ 3D-file-formats into one unified and clean data structure.

The Z3 Theorem Prover

🍃 Organic Maps is a free Android & iOS offline maps app for travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by the community. No ads, …

Record and Replay Framework

FUSE-based file system backed by Amazon S3

Linux system exploration and troubleshooting tool with first class support for containers

OpenSCAD - The Programmers Solid 3D CAD Modeller

Synchronous multiroom audio player

Dust3D is a cross-platform 3D modeling software that makes it easy to create low poly 3D models for video games, 3D printing, and more.

WS2812 FX Library for Arduino and ESP8266

Reference implementation of the Peercoin protocol.

Sample code and build environments for MPC frameworks

ABY - A Framework for Efficient Mixed-protocol Secure Two-party Computation

node native addon for rabin fingerprinting data streams [ DEPRECATED - More info on active projects and modules at https://dat-ecosystem.org/ ]

HawkTracer is a highly portable, low-overhead, configurable profiling tool built in Amazon Video for getting performance metrics from low-end devices.

⚙️ A conflict-driven nogood learning answer set solver

Knowledge Revolution

Node addon to use system log daemon

[ErLLVM] Custom LLVM not needed anymore! Just use: http://github.com/yiannist/otp

Uncertainty for brute forcers during login.

Umeq is an equivalent of qemu user mode emulation with improved robustness

Node CRC32 Tools