The Herd toolsuite to deal with .cat memory models (version 7.xx)

GPU accelerated decision optimization

This repository is the the implementation of the JAIR paper: https://doi.org/10.1613/jair.1.15320. This repository provides the codebase for benchmarking Predict-then-Optimize (PtO) problems using …

Learning and optimization algorithms compatible with EngiBench

Benchmarks for automated engineering design

Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021

Productive, portable, and performant GPU programming in Python.

Abstractions of memory, allocator, vector, tuple, shared_ptr, unique_ptr, bitset, variant and string working on both CPU and GPU

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

ELINA: ETH LIbrary for Numerical Analysis

RuCos is an extremely high-performance parallel constraint solver implemented by Rust.

ScheduleOpt benchmarks

Open standard for machine learning interoperability

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

A Lustre compiler in Coq

A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.

An portfolio-based analysis method for competition results, with a demonstration on the MiniZinc Challenges (https://www.minizinc.org/challenge.html) results.

A Python Library for modeling combinatorial constrained problems

Multi-objective Gymnasium environments for reinforcement learning

A massively parallel, optimal functional runtime in Rust

Access to all MiniZinc functionality directly from Python

Creusot helps you prove your code is correct in an automated fashion.

[ARCHIVED] The C++ Standard Library for your entire system. See https://github.com/NVIDIA/cccl

A constraint solver purely on GPUs (CUDA)

Constraint solver based on abstract interpretation

mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity