Conjure: The Automated Constraint Modelling Tool
☆119Nov 5, 2026Updated this week
Alternatives and similar repositories for conjure
Users that are interested in conjure are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A collection of problem specifications in Essence.☆10Dec 4, 2025Updated 11 months ago
- A high-performance Constraint Programming solver, created before the yellow things took the same name.☆38Oct 26, 2026Updated last week
- A benchmark library for constraints☆106Sep 28, 2026Updated last month
- The CP solver Chuffed☆20Sep 26, 2016Updated 10 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- Purely functional cloud provisioner☆22Jan 25, 2019Updated 7 years ago
- St Andrews Computer Science Checker☆20Oct 16, 2026Updated 3 weeks ago
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆22Jul 15, 2026Updated 3 months ago
- Haskell experiments involving TVM AI framework☆20Apr 26, 2019Updated 7 years ago
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago
- Distributed systems execution emulation☆18Nov 28, 2018Updated 7 years ago
- HALL (Haifa AllSAT) - AllSAT enumeration for Combinational Circuits☆10Aug 5, 2026Updated 3 months ago
- Haskell numerical ODE solvers☆13Aug 21, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆18Mar 16, 2024Updated 2 years ago
- An embedded probabilistic programming language.☆33Mar 6, 2017Updated 9 years ago
- Benchmarking tool with focus on comparing results.☆16Sep 7, 2024Updated 2 years ago
- ☆33Feb 22, 2024Updated 2 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆28Jun 27, 2019Updated 7 years ago
- XCSP3 Core Parser in C++☆20Updated this week
- Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell☆17Apr 13, 2019Updated 7 years ago
- Modeling and Programming with Gecode☆51Updated this week
- A Zoo of Haskell Newtype Wrappers☆15Nov 30, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Optimize Z3 strategies for your problem!☆28Oct 20, 2026Updated 2 weeks ago
- High level AWS CloudFormation language and compiler☆15Feb 28, 2019Updated 7 years ago
- A simple GAP script for creating a GAP package skeleton☆16Oct 24, 2026Updated 2 weeks ago
- An efficient graph library for Haskell☆41Aug 26, 2025Updated last year
- Type-safe data versioning.☆98Jan 9, 2026Updated 9 months ago
- Tensors in Haskell☆40Jul 20, 2026Updated 3 months ago
- A CP Portfolio Solver☆27Jun 25, 2026Updated 4 months ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆69Jan 13, 2020Updated 6 years ago
- your dynamic optimization buddy☆27Sep 20, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆86Oct 7, 2026Updated 3 weeks ago
- Extended Kalman filtering in Haskell☆23Oct 31, 2018Updated 8 years ago
- Golden test support for Tasty☆42Feb 1, 2026Updated 9 months ago
- Generic Constraint Development Environment☆338Updated this week
- A typesafe wrapper around monetary values represented as numeric values, allowing only sensible operations.☆14Jun 2, 2025Updated last year
- SAT instance generator for SHA-1☆52Feb 12, 2021Updated 5 years ago
- Hackager tool for releasing Haskell packages to Hackage☆34Oct 6, 2026Updated last month