Alternatives and similar repositories for Prolog-Scheduling-Problem

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

• darius / pythological
  A MiniKanren in Python
  ☆36Updated 9 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆77Updated 7 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 9 months ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆180Updated last year
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆48Updated last year
• fylke / tone-sorter
  Script for sorting a csv-file with Chinese phrases according to tone
  ☆20Updated 12 years ago
• Calysto / calysto_hy
  Calysto Hy, a Jupyter kernel for Hy using MetaKernel
  ☆109Updated 2 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• ralsei / graphite
  A data visualization library for Racket.
  ☆38Updated last year
• dubrousky / mockmma
  ☆30Updated 7 years ago
• rmculpepper / gamble
  Probabilistic Programming
  ☆43Updated 2 months 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
• j2kun / art-turing-ellipse
  A six-panel artistic rendition of Alan Turing
  ☆20Updated 5 years ago
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 9 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆36Updated 13 years ago
• hylang / hydiomatic
  The Hy Transformer
  ☆83Updated 6 years ago
• grammarly / gr-parseval
  Implementation of different variants of Parseval metric
  ☆13Updated 11 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• rmculpepper / iracket
  Jupyter kernel for Racket
  ☆99Updated 6 months ago
• BasisResearch / effectful
  An experimental library for metaprogramming with algebraic effects and handlers
  ☆24Updated this week
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆68Updated 2 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 6 years ago
• danhammer / game-theory
  Game theory in Clojure
  ☆18Updated 12 years ago
• racket / datalog
  ☆49Updated 3 weeks ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆51Updated 2 years ago
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 9 months ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆60Updated 6 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 8 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 6 months ago