|
|
C++ |
2 |
constraint satisfication programming |
Sep 07, 2015 |
|
|
Prolog |
3 |
Logic Constraint Programming |
Nov 22, 2022 |
|
|
Julia |
7 |
simple macro for monadic programming style |
Nov 04, 2022 |
|
|
C# |
2 |
Tiny C# Monadic Parser Framework |
Jan 17, 2023 |
|
|
Cython |
22 |
Python constraint programming library |
Jan 18, 2023 |
|
|
Rust |
75 |
Constraint programming in Rust |
Apr 29, 2023 |
|
|
Coq |
33 |
Bidirectional programming in Haskell with monadic profunctors |
Apr 29, 2022 |
|
|
Julia |
12 |
JuMP extensions for constraint programming. |
Aug 07, 2022 |
|
|
Prolog |
144 |
Constraint Logic Programming over Integers |
Nov 27, 2022 |
|
|
Haskell |
3 |
Constraint Logic Programming for Haskell |
Mar 30, 2021 |
|
|
Haskell |
4 |
Monadic monadic lenses |
Jun 20, 2020 |
|
|
Python |
6 |
Solving Sudoku puzzles using constraint programming |
Nov 23, 2020 |
|
|
Racket |
151 |
Constraint programming language embedded in Racket |
Apr 10, 2023 |
|
|
Prolog |
140 |
Constraint Logic Programming over Finite Domains |
Nov 23, 2022 |
|
|
Python |
3 |
A sudoku solver,using constraint programming |
Feb 09, 2020 |
|
|
Raku |
5 |
A constraint programming tool for perl6 |
Feb 09, 2023 |
|
|
Python |
2 |
Constraint programming prototypes for assembly scheduling. |
Oct 30, 2023 |
|
|
Scala |
8 |
A constraint solver and a constraint programming Domain Specific Language (DSL) for the Scala programming … |
Oct 05, 2020 |
|
|
Perl |
7 |
Type constraint framework for Perl5 |
Sep 08, 2014 |
|
|
Lua |
4 |
a lua constraint satisfaction framework |
Nov 12, 2018 |
|
|
None |
2 |
A Library for Constraint Programming in F# |
Nov 06, 2020 |
|
|
Julia |
19 |
Extensions to MathOptInterface to support constraint programming. |
May 24, 2022 |
|
|
JavaScript |
60 |
Finite domain constraint programming library in JS |
Jan 12, 2023 |
|
|
Jupyter Notebook |
7 |
Public repository for NOPT042 Constraint Programming tutorial |
Jan 18, 2024 |
|
|
TypeScript |
176 |
A library of constraint templates and sample constraints for Constraint Framework tools |
Aug 10, 2022 |
|
|
Java |
620 |
An open-source Java library for Constraint Programming |
Apr 28, 2023 |
|
|
JavaScript |
4 |
Monadic Node.js |
Nov 04, 2013 |
|
|
Go |
2 |
Monadic Commands |
Dec 29, 2015 |
|
|
HTML |
4 |
Monadic Formatting |
Nov 10, 2020 |
|
|
JavaScript |
57 |
Monadic middleware |
Jul 23, 2022 |
|
|
Scala |
72 |
Monadic folds |
May 14, 2023 |
|
|
Haskell |
3 |
Monadic Warsaw |
Oct 04, 2018 |
|
|
Julia |
5 |
Wrapper for the constraint-programming solver Chuffed to Julia |
May 24, 2022 |
|
|
Python |
139 |
Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization |
Apr 29, 2023 |
|
|
Java |
14 |
Programming language based on the synchronous and constraint paradigms |
Mar 31, 2021 |
|
|
Haskell |
2 |
Monadic XMonad config |
Aug 07, 2019 |
|
|
TypeScript |
21 |
Monadic Assertions library |
Mar 18, 2022 |
|
|
OCaml |
106 |
Monadic let-bindings |
Apr 22, 2023 |
|
|
Haskell |
3 |
Monadic Query library |
Mar 29, 2023 |
|
|
Julia |
3 |
A package that stores Constraint Programming models for JuliaConstraints solvers |
Aug 11, 2022 |
|
|
Java |
43 |
Kiwi is a minimalist and extendable Constraint Programming (CP) solver. |
Jul 26, 2022 |
|
|
Haskell |
38 |
a monadic graph library |
Mar 19, 2022 |
|
|
Java |
101 |
A monadic java profiler |
Dec 31, 2021 |
|
|
Haskell |
5 |
Monadic representation of transactions. |
Jan 20, 2020 |
|
|
Scheme |
8 |
Monadic parsing in Scheme. |
Aug 03, 2021 |
|
|
Emacs Lisp |
2 |
Monadic parser for elisp |
Mar 24, 2023 |
|
|
None |
4 |
A Monadic Presentation Tool |
Apr 21, 2015 |
|
|
C |
3 |
C monadic arrow library. |
Jun 17, 2023 |
|
|
Clojure |
6 |
Teach a computer to solve regexcrossword.com puzzles with constraint logic programming |
Jun 14, 2022 |
|
|
Python |
33 |
PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers |
Jul 28, 2022 |