CP+SAT solver framework built to be reliable, performant, and extensible

A constraint programming solver with support for proof logging

Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.

A REST request routing layer for AWS lambda handlers written in Kotlin

Use MiniZinc in the browser or with NodeJS

A bestiary of evolutionary, swarm and other metaphor-based algorithms

Verified, Incremental, Binary Editing with Synthesis

Simple validation for Rust structs

Type safe library for creating Algebraic Data Types (ADTs) in TypeScript. 🌱

A constraint modelling and rewriting library and compiler framework written in rust

Easy form validation and state management for React and Remix

The fully-stacked web framework

An Event Sourcing runtime with WebAssembly & embedded event store

Easy interop between Rust and Java

CP Optimizer back end for Minizinc

The MiniZinc IDE

DDO a generic and efficient framework for MDD-based optimization.

A sat solver in rust

Generate guitar tablatures using a constraint solver

Modeling and Programming with Gecode

Assorted immutable collection datatypes for Rust

Compile-time reflection API for developing robust procedural macros (proof of concept)

A small rust library for adding custom derives to enums

A safe, extensible ORM and Query Builder for Rust

Kubernetes API client in Rust

Rayon: A data parallelism library for Rust