Alternatives and similar repositories for CPL

Users that are interested in CPL are comparing it to the libraries listed below

• KULeuven-CS / Genetic-Algorithms
  Genetic Algorithms and Evolutionary Computing (B-KUL-H02D1A)
  ☆12Updated 10 years ago
• KULeuven-CS / Parallel-Computing
  Parallel Computing (B-KUL-H03F9A)
  ☆9Updated 10 years ago
• KULeuven-CS / Game-Theory
  Gedistribueerde Software Architecturen - Verdiepende Studie (B-KUL-G0K31A)
  ☆13Updated 10 years ago
• walkie / Hagl
  A Haskell DSEL for experimental game theory.
  ☆36Updated 3 years ago
• twinters / zoek-nieuws
  Twitterbot that automatically searches the news with user-provided search terms, and posts relevant links.
  ☆10Updated 2 years ago
• kframework / k-legacy
  The K tools (deprecated, see README)
  ☆146Updated 7 years ago
• Micket / chalmers
  Styles for LaTeX, beamer for Chalmers University of Technology
  ☆46Updated 7 years ago
• tyler-utah / PBDD
  A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…
  ☆14Updated 11 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆178Updated last year
• MaxOw / computational-geometry
  Collection of algorithms in Computational Geometry.
  ☆18Updated 7 years ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆65Updated 3 years ago
• BlairArchibald / YewPar
  A Collection of High Performance Parallel Skeletons for Tree Search Problems
  ☆22Updated last week
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• ths-rwth / smtrat
  ☆55Updated 3 weeks ago
• ciaranm / glasgow-constraint-solver
  A constraint programming solver with support for proof logging
  ☆15Updated last month
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆26Updated last year
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆81Updated 4 months ago
• gilbo / ebb
  DSL for physical simulation
  ☆89Updated 8 years ago
• stites / CSSR
  Mirror of CSSR: An Algorithm for Building Markov Models from Time Series
  ☆21Updated 5 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 weeks ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 9 years ago
• AlexBenton / Teaching
  Sample code for Further Graphics lectures, Cambridge University.
  ☆47Updated 2 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• PromyLOPh / pesto
  Repository moved to codeborg.org, see below.
  ☆43Updated 4 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• csplib / csplib
  A benchmark library for constraints
  ☆94Updated 8 months ago
• tau-prolog / draw-derivation-trees
  A tool for drawing derivation trees of Tau Prolog
  ☆11Updated 3 years ago
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆105Updated 3 weeks ago