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
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated last year
• adamwespiser / deep-learning-koans
  A series of educational Deep Learning Koans, using Julia and Flux.jl
  ☆30Updated 5 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 8 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 9 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated 3 weeks ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 5 years ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆47Updated last year
• rmculpepper / gamble
  Probabilistic Programming
  ☆42Updated 3 weeks ago
• featurecat / Influencie
  A fun way to visualize influence in the game of Go.
  ☆21Updated 6 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 5 months ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last week
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆87Updated 2 years ago
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 4 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆36Updated 12 years ago
• miniKanren / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆16Updated 7 years ago
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• prathyvsh / lambda-calculus
  Guide elucidating Lambda Calculus
  ☆16Updated 3 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• racket / datalog
  ☆48Updated 2 months ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆31Updated this week
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆69Updated 2 years ago
• racket / math
  ☆39Updated 2 weeks ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 12 years ago
• gilch / drython
  metaprogramming for don't-repeat-yourself Python
  ☆25Updated 6 years ago