All Projects → letmaik → monadiccp

letmaik / monadiccp

Licence: other
Monadic Constraint Programming framework

Programming Languages

haskell
3896 projects

Projects that are alternatives of or similar to monadiccp

Monads
👻 Type safe Option, Result, and Either types; inspired by Rust
Stars: ✭ 228 (+812%)
Mutual labels:  monads
conjure
Conjure: The Automated Constraint Modelling Tool
Stars: ✭ 84 (+236%)
Mutual labels:  constraint-programming
pymzn
A Python wrapper for the MiniZinc tool pipeline.
Stars: ✭ 54 (+116%)
Mutual labels:  constraint-programming
Pratica
🥃 Functional Algebraic Data Types
Stars: ✭ 246 (+884%)
Mutual labels:  monads
cplex-scala
A scala library for IBM ILOG CPLEX
Stars: ✭ 20 (-20%)
Mutual labels:  constraint-programming
konad
Monads composition API that just works. For OOP developers
Stars: ✭ 62 (+148%)
Mutual labels:  monads
Maryamyriameliamurphies.js
A library of Haskell-style morphisms ported to ES2015 JavaScript using Babel.
Stars: ✭ 177 (+608%)
Mutual labels:  monads
SeaPearl.jl
Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.
Stars: ✭ 119 (+376%)
Mutual labels:  constraint-programming
simsttab
Simple timetabling engine for schools
Stars: ✭ 21 (-16%)
Mutual labels:  constraint-programming
hawkweed
Yet another implementation of missing functions for Python
Stars: ✭ 20 (-20%)
Mutual labels:  monads
pycsp3
A Python Library for modeling combinatorial constrained problems
Stars: ✭ 39 (+56%)
Mutual labels:  constraint-programming
CNApy
An integrated visual environment for metabolic modeling with common methods such as FBA, FVA and Elementary Flux Modes, and advanced features such as thermodynamic methods, extended Minimal Cut Sets, OptKnock, RobustKnock, OptCouple and more!
Stars: ✭ 27 (+8%)
Mutual labels:  constraint-programming
freestyle-kafka
Freestyle Kafka
Stars: ✭ 17 (-32%)
Mutual labels:  monads
Neither
Either and Maybe monads for better error-handling in C++ ↔️
Stars: ✭ 236 (+844%)
Mutual labels:  monads
minizinc-python
Access to all MiniZinc functionality directly from Python
Stars: ✭ 92 (+268%)
Mutual labels:  constraint-programming
Mu Haskell
Mu (μ) is a purely functional framework for building micro services.
Stars: ✭ 215 (+760%)
Mutual labels:  monads
HyperGraphLib
C++ Hypergraph modelling Library using Boost and OpenMP with some algorithms, including isomorphism using Gecode.
Stars: ✭ 19 (-24%)
Mutual labels:  constraint-programming
futils
Utilities for generic functional programming
Stars: ✭ 21 (-16%)
Mutual labels:  monads
pyMonet
High abstract python library for functional programming. Contains algebraic data structures known (or unknown) from Haskell or Scala.
Stars: ✭ 31 (+24%)
Mutual labels:  monads
ordered
Entropy-controlled contexts in Python
Stars: ✭ 36 (+44%)
Mutual labels:  constraint-programming

monadiccp Build Status

Acknowledgments

  • Thanks to Chris Mears for a patch to get the package to compile against GHC 7.4.1.
  • Thanks to Nicholas Tung for a patch to get the package to compile against GHC 7.2.2.
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].