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
  ☆77Updated 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
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆36Updated 13 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 5 months ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆47Updated last year
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 9 months ago
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 4 years ago
• rmculpepper / gamble
  Probabilistic Programming
  ☆43Updated last month
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆180Updated last year
• dubrousky / mockmma
  ☆30Updated 7 years ago
• racket / datalog
  ☆48Updated last week
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 5 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 5 years ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆33Updated this week
• soegaard / racket-poppler
  Racket bindings for Poppler (library for reading and generating pdfs)
  ☆24Updated last year
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆58Updated 9 months 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
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆23Updated last month
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 9 years ago
• Calysto / calysto_hy
  Calysto Hy, a Jupyter kernel for Hy using MetaKernel
  ☆109Updated 2 years ago
• racket / math
  ☆39Updated last week
• a-nikolaev / visualsc
  A simplicial complex and hypergraph visualization tool similar to Graphviz.
  ☆39Updated 6 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆64Updated 5 years ago
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆141Updated 7 years ago
• n3mo / data-science
  Data science tooling for Racket
  ☆84Updated 6 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago