A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed

The SambaNova Model Zoo open-source repository includes RDU-compatible source code, along with example applications for compiling and running models on SambaNova hardware.

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

Build Better Websites. Create modern, resilient user experiences with web fundamentals.

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