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
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆47Updated last year
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• rmculpepper / gamble
  Probabilistic Programming
  ☆42Updated 2 weeks ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆180Updated last year
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 8 years ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆32Updated this week
• JUrban / deepmath
  deep learning for math
  ☆28Updated 6 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆36Updated 13 years ago
• Calysto / calysto_hy
  Calysto Hy, a Jupyter kernel for Hy using MetaKernel
  ☆109Updated 2 years ago
• j2kun / art-turing-ellipse
  A six-panel artistic rendition of Alan Turing
  ☆20Updated 5 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated 2 months ago
• racket / datalog
  ☆48Updated 2 months ago
• fylke / tone-sorter
  Script for sorting a csv-file with Chinese phrases according to tone
  ☆20Updated 11 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 4 months ago
• trishume / seqalign_pathing
  Rust implementation of sequence alignment / Levenshtein distance by A* acceleration of the DP algorithm
  ☆22Updated 8 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• n3mo / data-science
  Data science tooling for Racket
  ☆84Updated 6 years ago
• miniKanren / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆16Updated 7 years ago
• olynch / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆11Updated 2 years ago
• BasisResearch / effectful
  An experimental library for metaprogramming with algebraic effects and handlers
  ☆19Updated this week
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• danhammer / game-theory
  Game theory in Clojure
  ☆18Updated 12 years ago
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 8 months ago
• ralsei / graphite
  A data visualization library for Racket.
  ☆38Updated 11 months ago
• gilch / drython
  metaprogramming for don't-repeat-yourself Python
  ☆27Updated 6 years ago