JensNevens / Prolog-Scheduling-Problem
A Scheduling Problem in Prolog
☆12Updated 9 years ago
Alternatives and similar repositories for Prolog-Scheduling-Problem:
Users that are interested in Prolog-Scheduling-Problem are comparing it to the libraries listed below
- A MiniKanren in Python☆35Updated 8 years ago
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- A collection of libraries in Scheme☆13Updated 4 years ago
- Game theory in Clojure☆18Updated 12 years ago
- A column-oriented, dataframe implementation for Racket.☆17Updated this week
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- ☆45Updated last month
- ☆13Updated last month
- experimental computational medium and supporting tools☆22Updated this week
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- Interactive Scheme Primer, written in Scheme.☆21Updated 6 months ago
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 8 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation☆21Updated 12 years ago
- The Hy Transformer☆81Updated 5 years ago
- NumPy for Chez Scheme☆18Updated 4 years ago
- An implementation of the clustering algorithm k-means in J.☆13Updated 10 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆16Updated 7 years ago
- Union types and some other functional-y stuff for Hy☆51Updated 9 years ago
- Libraries that clasp depends on☆13Updated 8 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- SLAYER ported to Racket☆20Updated 5 years ago
- Self-contained, one-step literate markdown.☆23Updated 2 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 2 years ago
- ☆42Updated last month
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 9 months ago
- debugging biological networks to reach coherence, completeness and consistency☆46Updated last year
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- Racket bindings for the Slack API☆10Updated 6 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago