Alternatives and similar repositories for CPL

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

• KULeuven-CS / Parallel-Computing
  Parallel Computing (B-KUL-H03F9A)
  ☆10Updated 11 years ago
• KULeuven-CS / Genetic-Algorithms
  Genetic Algorithms and Evolutionary Computing (B-KUL-H02D1A)
  ☆12Updated 11 years ago
• KULeuven-CS / Game-Theory
  Gedistribueerde Software Architecturen - Verdiepende Studie (B-KUL-G0K31A)
  ☆13Updated 10 years ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆113Updated 2 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆33Updated 11 years ago
• stites / CSSR
  Mirror of CSSR: An Algorithm for Building Markov Models from Time Series
  ☆23Updated 6 years ago
• byorgey / species
  ☆17Updated 4 months ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆66Updated 6 months ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆135Updated 10 months ago
• ericphanson / CombinatoricsNotes
  Notes from Math 550 at McGill University, from Winter 2016, taught by Prof. Sergey Norin.
  ☆14Updated 6 years ago
• appliedtopology / ctl
  A fast generic C++ library for applied and computational topology
  ☆61Updated 9 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 9 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• csplib / csplib
  A benchmark library for constraints
  ☆98Updated 3 months ago
• nicolabotta / SeqDecProbs
  ☆14Updated 8 years ago
• j2kun / math-genealogy-scraper
  Code for scraping (and a mirror of) the Math Genealogy Database
  ☆21Updated 2 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆14Updated 7 years ago
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆74Updated 4 years ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆171Updated 6 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆32Updated this week
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated 2 years ago
• adobe / Chronikis
  A compiler for Bayesian time series models.
  ☆24Updated last year
• jeanqasaur / against-junior-faculty-stress
  ☆68Updated 8 years ago
• passagemath / upstream-LiDIA
  LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …
  ☆30Updated 9 months ago
• twinters / zoek-nieuws
  Twitterbot that automatically searches the news with user-provided search terms, and posts relevant links.
  ☆10Updated 3 years ago
• gambitproject / gte
  Game Theory Explorer: Build, explore and solve extensive form games.
  ☆100Updated 6 years ago
• iblech / mathe-notizen
  Random notes on mathematics (in German)
  ☆12Updated 2 months ago
• walkie / Hagl
  A Haskell DSEL for experimental game theory.
  ☆39Updated 3 years ago