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:
- A collection of libraries in Scheme☆13Updated 4 years ago
- A column-oriented, dataframe implementation for Racket.☆17Updated 2 months ago
- A MiniKanren in Python☆35Updated 8 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆35Updated 12 years ago
- ☆14Updated 3 weeks ago
- Game theory in Clojure☆18Updated 12 years ago
- Art of Prolog Code☆36Updated 5 years ago
- ☆16Updated 2 weeks ago
- A module for handling continuations in Python☆32Updated 8 years ago
- ☆29Updated 2 years ago
- Plot Cookbook☆50Updated 2 years ago
- An implementation of the clustering algorithm k-means in J.☆13Updated 10 years ago
- A data frame implementation for Racket☆37Updated last year
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- A series of educational Deep Learning Koans, using Julia and Flux.jl☆30Updated 5 years ago
- experimental computational medium and supporting tools☆22Updated this week
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 8 years ago
- The Hy Transformer☆83Updated 6 years ago
- Magnolisp, a toy programming language☆17Updated last year
- Canonical miniKanren implementation in Racket☆85Updated 3 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- Interactive POetry Editor☆28Updated 3 years ago
- A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation…☆16Updated 10 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆16Updated 7 years ago
- SLAYER ported to Racket☆21Updated 5 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- A set of visualization engines.☆14Updated this week
- Metamath verifier in Python☆39Updated last year