JensNevens / Prolog-Scheduling-ProblemLinks
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
Sorting:
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- Art of Prolog Code☆36Updated 6 years ago
- debugging biological networks to reach coherence, completeness and consistency☆47Updated last year
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- MGL-GPR is a library of evolutionary algorithms such as Genetic Programming (evolving typed expressions from a set of operators and cons…☆65Updated 2 months ago
- Access Chez Scheme documentation from the REPL☆29Updated 3 months ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 12 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- ☆30Updated 7 years ago
- ☆43Updated 2 weeks ago
- deep learning for math☆29Updated 6 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Data science tooling for Racket☆84Updated 6 years ago
- A MiniKanren in Python☆35Updated 9 years ago
- Jupyter kernel for Racket☆98Updated 3 months ago
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…☆28Updated 3 months ago
- Specification and Implementation of Quantum Common Lisp, for gate-model quantum computers☆70Updated 8 years ago
- Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Int…☆14Updated 6 months ago
- exploration of reflective architectures in Scheme☆20Updated 3 years ago
- Probabilistic Programming☆42Updated last week
- Metamath verifier in Python☆40Updated 2 months ago
- Calysto Hy, a Jupyter kernel for Hy using MetaKernel☆109Updated 2 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆16Updated 7 years ago
- Idris Version Manager☆16Updated 6 months ago
- ☆48Updated 2 weeks ago
- Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at☆123Updated last week
- Implementation of different variants of Parseval metric☆14Updated 10 years ago
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 8 years ago
- A simplicial complex and hypergraph visualization tool similar to Graphviz.☆38Updated 6 years ago
- A data visualization library for Racket.☆38Updated 9 months ago