Compatibility tool for Steam Play based on Wine and additional components

A modern formatting library

DOOM Open Source Release

The Z3 Theorem Prover

F´ - A flight software and embedded systems framework

cuDF - GPU DataFrame Library

Main gperftools repository

A C++ library for interacting with JSON.

A custom launcher for Minecraft that allows you to easily manage multiple installations of Minecraft at once

C++ tensors with broadcasting and lazy computing

MacOS Cross-Toolchain for Linux and *BSD

Multiphysics Object Oriented Simulation Environment

Ahead of Time compiler for numeric kernels

SymEngine is a fast symbolic manipulation library, written in C++

A minimalistic and high-performance SAT solver

OpenCASCADE Community Edition (OCE): a community driven fork of the Open CASCADE library.

A lightweight Qt-based terminal emulator

Python wrapper for RE2

Distributed-memory, arbitrary-precision, dense and sparse-direct linear algebra, conic optimization, and lattice reduction

C-family Abstract Syntax Tree XML Output

Large collection of number systems providing custom arithmetic for mixed-precision algorithm development and optimization for AI, Machine Learning, Computer Vision, Signal Processing, CAE, EDA, con…

An open-source implementation of library for reading CASC storages from Blizzard games since 2014

Fast and flexible Gaussian Process regression in Python

Reflang - Modern C++ reflection using libclang

PyNE: The Nuclear Engineering Toolkit

C++ dynamic ndarray library, with Python exposure

An open-source library for mathematical programming

NumPy-compatible multidimensional arrays in C++

Python exposure of dynd

The Cyclus Nuclear Fuel Cycle Simulator