Alternatives and similar repositories for Prolog-Scheduling-Problem

Users that are interested in Prolog-Scheduling-Problem are comparing it to the libraries listed below

• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• webyrd / 2012-scheme-workshop-quines-paper-code
  Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Int…
  ☆15Updated 10 months ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆24Updated 2 months ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆36Updated 13 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 9 years ago
• danhammer / game-theory
  Game theory in Clojure
  ☆18Updated 12 years ago
• melisgl / mgl-gpr
  MGL-GPR is a library of evolutionary algorithms such as Genetic Programming (evolving typed expressions from a set of operators and cons…
  ☆66Updated 6 months ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆48Updated last year
• racket / plot
  ☆45Updated last month
• rmculpepper / gamble
  Probabilistic Programming
  ☆44Updated 2 months ago
• triska / ediprolog
  Emacs Does Interactive Prolog
  ☆45Updated last year
• adamwespiser / deep-learning-koans
  A series of educational Deep Learning Koans, using Julia and Flux.jl
  ☆32Updated 6 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 8 years ago
• racket / math
  ☆39Updated last month
• racket / datalog
  ☆49Updated last month
• ioannad / jeffrey
  Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…
  ☆29Updated 7 months ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• webyrd / scheme-primer
  Interactive Scheme Primer, written in Scheme.
  ☆22Updated 7 months ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Updated 2 years ago
• n3mo / data-science
  Data science tooling for Racket
  ☆84Updated 6 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 7 months ago
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 10 months ago
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆33Updated 8 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated this week
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 6 years ago
• the-concurrent-schemer / scm
  [UNMAINTAINED] The Concurrent Schemer
  ☆120Updated 10 years ago