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
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆49Updated last year
• 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
• rmculpepper / gamble
  Probabilistic Programming
  ☆44Updated 3 months ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 4 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 9 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆180Updated last year
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆36Updated 13 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 11 months ago
• danhammer / game-theory
  Game theory in Clojure
  ☆18Updated 13 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆82Updated 2 weeks ago
• 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 8 months ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆67Updated 10 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Updated 2 years ago
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 3 months ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 6 years ago
• webyrd / scheme-primer
  Interactive Scheme Primer, written in Scheme.
  ☆22Updated 7 months ago
• racket / datalog
  ☆49Updated 2 months ago
• dubrousky / mockmma
  ☆30Updated 8 years ago
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 9 years ago
• Kappa-Dev / KappaTools
  Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
  ☆122Updated this week
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆35Updated this week
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆25Updated 7 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 8 years ago