Beast code in Giters

marchartung's starred repositories

Parallel C++ algorithms

Language:C++MIT5500

A lightweight, easy-to-use, and efficient C++ library for processing and rendering 3D data

Language:C++GPL-3.0132900

Seamless operability between C++11 and Python

Language:C++NOASSERTION1531600

Parallel NumPy seamlessly speeds up NumPy for large arrays (64K+ elements) with no change required to existing code.

Language:C++MIT5600

The DRAT-trim proof checker

Language:CMIT5000

Dimacs CNF utilities

Language:C++2000

osu-microbenchmarks with limited CMake support, see http://mvapich.cse.ohio-state.edu/benchmarks/

Language:CNOASSERTION200

The TopoSAT2 SAT solver, heavily based on Glucose (and thus MiniSAT).

Language:C++400

A minimalistic and high-performance SAT solver

Language:C++NOASSERTION100200

JSON for Modern C++

Language:C++MIT4188600