Alternatives and similar repositories for Prolog-Scheduling-Problem:

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

• danhammer / game-theory
  Game theory in Clojure
  ☆18Updated 12 years ago
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆13Updated 3 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆21Updated 4 months ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆45Updated 11 months ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆16Updated 4 years ago
• webyrd / scheme-primer
  Interactive Scheme Primer, written in Scheme.
  ☆22Updated 4 months ago
• massung / tabular-asa
  A column-oriented, dataframe implementation for Racket.
  ☆17Updated 4 months ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 11 years ago
• hinkelman / chez-docs
  Access Chez Scheme documentation from the REPL
  ☆27Updated 2 months ago
• bakerjd99 / jacks
  Consolidated J language code referenced in my blog Analyze the Data not the Drivel
  ☆40Updated 3 months ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆49Updated 2 years ago
• racket / parser-tools
  ☆12Updated 2 months ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• VincentToups / jkmeans
  An implementation of the clustering algorithm k-means in J.
  ☆13Updated 10 years ago
• npe9 / aop
  Art of Prolog Code
  ☆35Updated 5 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 2 years ago
• davidar / stochaskell
  ☆12Updated last year
• hylang / hydiomatic
  The Hy Transformer
  ☆80Updated 5 years ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated 7 months ago
• bgamari / bayes-stack
  Framework for Gibbs sampling of probabilistic models
  ☆49Updated 9 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 6 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• rfindler / lindenmayer
  ☆25Updated last year
• panicz / sracket
  SLAYER ported to Racket
  ☆20Updated 5 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆72Updated 6 years ago
• adamwespiser / deep-learning-koans
  A series of educational Deep Learning Koans, using Julia and Flux.jl
  ☆29Updated 5 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago