Monads👻 Type safe Option, Result, and Either types; inspired by Rust
Stars: ✭ 228 (+812%)
Mutual labels: monads
conjureConjure: The Automated Constraint Modelling Tool
Stars: ✭ 84 (+236%)
Mutual labels: constraint-programming
pymznA 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-scalaA scala library for IBM ILOG CPLEX
Stars: ✭ 20 (-20%)
Mutual labels: constraint-programming
konadMonads composition API that just works. For OOP developers
Stars: ✭ 62 (+148%)
Mutual labels: monads
Maryamyriameliamurphies.jsA library of Haskell-style morphisms ported to ES2015 JavaScript using Babel.
Stars: ✭ 177 (+608%)
Mutual labels: monads
SeaPearl.jlJulia hybrid constraint programming solver enhanced by a reinforcement learning driven search.
Stars: ✭ 119 (+376%)
Mutual labels: constraint-programming
simsttabSimple timetabling engine for schools
Stars: ✭ 21 (-16%)
Mutual labels: constraint-programming
hawkweedYet another implementation of missing functions for Python
Stars: ✭ 20 (-20%)
Mutual labels: monads
pycsp3A Python Library for modeling combinatorial constrained problems
Stars: ✭ 39 (+56%)
Mutual labels: constraint-programming
CNApyAn 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
NeitherEither and Maybe monads for better error-handling in C++ ↔️
Stars: ✭ 236 (+844%)
Mutual labels: monads
minizinc-pythonAccess to all MiniZinc functionality directly from Python
Stars: ✭ 92 (+268%)
Mutual labels: constraint-programming
Mu HaskellMu (μ) is a purely functional framework for building micro services.
Stars: ✭ 215 (+760%)
Mutual labels: monads
HyperGraphLibC++ Hypergraph modelling Library using Boost and OpenMP with some algorithms, including isomorphism using Gecode.
Stars: ✭ 19 (-24%)
Mutual labels: constraint-programming
futilsUtilities for generic functional programming
Stars: ✭ 21 (-16%)
Mutual labels: monads
pyMonetHigh abstract python library for functional programming. Contains algebraic data structures known (or unknown) from Haskell or Scala.
Stars: ✭ 31 (+24%)
Mutual labels: monads
orderedEntropy-controlled contexts in Python
Stars: ✭ 36 (+44%)
Mutual labels: constraint-programming