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
- Game theory in Clojure☆18Updated 12 years ago
- A collection of libraries in Scheme☆13Updated 4 years ago
- An introduction to the basic ideas of commutative algebra☆17Updated 4 years ago
- ☆13Updated 2 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆72Updated 7 years ago
- Python S-expression emulation using tuple-like objects.☆21Updated 6 months ago
- An implementation of the clustering algorithm k-means in J.☆13Updated 10 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- ☆12Updated this week
- A module for handling continuations in Python☆32Updated 8 years ago
- git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation☆22Updated 12 years ago
- experimental computational medium and supporting tools☆22Updated last week
- A column-oriented, dataframe implementation for Racket.☆17Updated this week
- Jd☆14Updated 2 months ago
- Union types and some other functional-y stuff for Hy☆50Updated 9 years ago
- Art of Prolog Code☆36Updated 5 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- debugging biological networks to reach coherence, completeness and consistency☆46Updated last year
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 8 years ago
- Probabilistic Programming☆41Updated last year
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- MGL-GPR is a library of evolutionary algorithms such as Genetic Programming (evolving typed expressions from a set of operators and cons…☆64Updated last year
- ☆40Updated this week
- Data Flow Matrix Machines. Generalization of recurrent neural networks.☆15Updated 2 months ago
- stream processing library for formal power series and generating functions☆9Updated 4 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- Matplotlib for Chez Scheme☆24Updated 5 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 6 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago