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
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 9 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• Calysto / calysto_hy
  Calysto Hy, a Jupyter kernel for Hy using MetaKernel
  ☆110Updated 2 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 11 months ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆36Updated 13 years ago
• n3mo / data-science
  Data science tooling for Racket
  ☆84Updated 6 years ago
• racket / math
  ☆39Updated this week
• rmculpepper / gamble
  Probabilistic Programming
  ☆44Updated 3 months ago
• featurecat / Influencie
  A fun way to visualize influence in the game of Go.
  ☆23Updated 7 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆82Updated last week
• grammarly / gr-parseval
  Implementation of different variants of Parseval metric
  ☆13Updated 11 years ago
• Kappa-Dev / KappaTools
  Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
  ☆123Updated this week
• dubrousky / mockmma
  ☆30Updated 8 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆180Updated last year
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆67Updated 10 years ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆49Updated last year
• hinkelman / chez-docs
  Access Chez Scheme documentation from the REPL
  ☆30Updated 8 months ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• hylang / hydiomatic
  The Hy Transformer
  ☆83Updated 6 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 6 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆128Updated 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 7 months ago
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 9 years ago
• danhammer / game-theory
  Game theory in Clojure
  ☆18Updated 13 years ago
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆18Updated 9 years ago
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 3 months ago
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 8 years ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago