JensNevens / Prolog-Scheduling-Problem

Related projects: ⓘ

• darius / pythological
  A MiniKanren in Python
  ☆36Updated 8 years ago
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆12Updated 3 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆72Updated 6 years ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆42Updated 7 months ago
• danhammer / game-theory
  Game theory in Clojure
  ☆18Updated 11 years ago
• cbaziotis / prolog-cfg-parser
  A toy SWI-Prolog context-free grammar (CFG) parser, that extracts knowledge (facts) from text.
  ☆18Updated 7 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• VincentToups / jkmeans
  An implementation of the clustering algorithm k-means in J.
  ☆13Updated 9 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆16Updated 4 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆34Updated 11 years ago
• racket / parser-tools
  ☆10Updated last month
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 9 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆35Updated 5 months ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 2 years ago
• hylang / hydiomatic
  The Hy Transformer
  ☆80Updated 5 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• qobi / R6RS-AD
  Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…
  ☆39Updated 8 years ago
• npe9 / aop
  Art of Prolog Code
  ☆35Updated 5 years ago
• MostAwesomeDude / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 5 years ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated 3 months ago
• alex-hhh / data-frame
  A data frame implementation for Racket
  ☆37Updated 4 months ago
• soegaard / metapict
  A graphics library for producing Racket picts in a MetaPost/TikZ style.
  ☆65Updated last month
• davidar / stochaskell
  ☆11Updated last year
• MiniZinc / minizinc-doc
  MiniZinc documentation
  ☆16Updated last year
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆21Updated 2 weeks ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆12Updated 9 months ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆48Updated last year
• webyrd / 2012-scheme-workshop-quines-paper-code
  Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Int…
  ☆15Updated 11 years ago
• adamwespiser / deep-learning-koans
  A series of educational Deep Learning Koans, using Julia and Flux.jl
  ☆29Updated 4 years ago