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 / Game-Theory
  Gedistribueerde Software Architecturen - Verdiepende Studie (B-KUL-G0K31A)
  ☆13Updated 10 years ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆111Updated 2 years ago
• byorgey / species
  ☆17Updated last year
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆14Updated 6 years ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆65Updated 3 weeks ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆178Updated last year
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 8 years ago
• melling / Probabilistic_Programming
  ☆14Updated 4 years ago
• maude-team / MFE
  Maude Formal Environment
  ☆17Updated 5 years ago
• GaloisInc / smaccmpilot-build
  An umbrella repository including all of the dependencies to build the smaccmpilot project
  ☆74Updated 8 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆33Updated 5 years ago
• shangaslammi / haskeroids
  A simple asteroids game using Haskell and OpenGL
  ☆20Updated 8 years ago
• appliedtopology / ctl
  A fast generic C++ library for applied and computational topology
  ☆60Updated 9 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 8 years ago
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 5 months ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• nicolabotta / SeqDecProbs
  ☆14Updated 8 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 5 years ago
• skbaek / Ethics
  I.I-XI of Spinoza's Ethics, formalized in Coq
  ☆18Updated 9 years ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆135Updated 5 months ago
• j2kun / math-genealogy-scraper
  Code for scraping (and a mirror of) the Math Genealogy Database
  ☆19Updated 2 years ago
• appliedcategorytheory / TikZWD
  A TikZ library of wiring diagrams
  ☆22Updated 6 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 4 years ago
• hnarayanan / sicm
  Working through Structure and Interpretation of Classical Mechanics.
  ☆125Updated last year
• walkie / Hagl
  A Haskell DSEL for experimental game theory.
  ☆36Updated 3 years ago
• ericphanson / CombinatoricsNotes
  Notes from Math 550 at McGill University, from Winter 2016, taught by Prof. Sergey Norin.
  ☆14Updated 6 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 9 years ago