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
  ☆35Updated 8 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• davidar / stochaskell
  ☆13Updated 2 years ago
• VincentToups / jkmeans
  An implementation of the clustering algorithm k-means in J.
  ☆13Updated 10 years ago
• racket / parser-tools
  ☆14Updated last month
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆13Updated 4 years ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated 2 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆75Updated 7 years ago
• danhammer / game-theory
  Game theory in Clojure
  ☆18Updated 12 years ago
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆32Updated 8 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• adamwespiser / deep-learning-koans
  A series of educational Deep Learning Koans, using Julia and Flux.jl
  ☆30Updated 5 years ago
• massung / tabular-asa
  A column-oriented, dataframe implementation for Racket.
  ☆17Updated 3 weeks ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated 7 months ago
• melisgl / micmac
  Common Lisp implementation of various AI/statistics related things.
  ☆16Updated last month
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• dev-null321 / RacoGrad
  Deep learning library
  ☆41Updated last month
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆46Updated last year
• 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…
  ☆64Updated last month
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• ots22 / racket-ad-demos
  Exploring Automatic Differentiation with Racket
  ☆12Updated 3 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• gilch / drython
  metaprogramming for don't-repeat-yourself Python
  ☆23Updated 5 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• LeastAuthority / haskell-magic-wormhole
  Magic Wormhole for Haskell
  ☆11Updated last year
• hylang / hydiomatic
  The Hy Transformer
  ☆82Updated 5 years ago