Stars
Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
Telegram Bot API low level API and framework
Telegram bot framework and API client written in Elixir
Data generation and property-based testing for Elixir. 🔮
Fast, portable, non-Turing complete expression evaluation (C++)
Pure Python implementation of the Common Expression Language
Python wrapper of a Rust CEL implementation
Parses and evaluates mathematical expressions in Elixir. Inspired by math.js
🗺 An unofficial collection of "design patterns" for ReScript, Reason, and OCaml
🍬 a functional language for building type-safe, scalable, and maintainable applications
Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.
FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml
Use MiniZinc in the browser or with NodeJS
Access to all MiniZinc functionality directly from Python
small MiniZinc examples demonstrating various language features
An open-source Java library for Constraint Programming
A Lazy Clause Generation Constraint Programming solver written in Rust.