Rust documentation/domain in Sphinx

A massively parallel, high-level programming language

qLibc is a simple and yet powerful C library providing generic data structures and algorithms.

Python interface and modeling environment for GCG

A modern, user friendly, generic, type-safe and fast C99 container library: String, Vector, Sorted and Unordered Map and Set, Deque, Forward List, Smart Pointers, Bitset and Random numbers.

A valgrind mirror with latest macOS support

A collection of learning resources for curious software engineers

Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.

Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.

A personal experimental C++ Syntax 2 -> Syntax 1 compiler

MIP 2024 Computational Competition

Finds problems in C++ source that slow development of large code bases

The MIP Workshop 2023 Computational Competition

A Python-embedded modeling language for convex optimization problems.

An object-oriented algebraic modeling language in Python for structured optimization problems.

Papers from the computer science community to read and discuss.

AMPL Solver APIs

A dynamic array implementation in C similar to the one found in standard C++

A simple vector library for C that can store any type.

Generic data structures and algorithms implemented in c language.

Fast simple C vector implementation

An open-source library for mathematical programming

Python interface for the SCIP Optimization Suite

Awesome machine learning for combinatorial optimization papers.

Learning to Rank in TensorFlow

Formulate trained predictors in Gurobi models

The most widely used Python to C compiler