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)
  ☆9Updated 10 years ago
• KULeuven-CS / Game-Theory
  Gedistribueerde Software Architecturen - Verdiepende Studie (B-KUL-G0K31A)
  ☆13Updated 9 years ago
• KULeuven-CS / Genetic-Algorithms
  Genetic Algorithms and Evolutionary Computing (B-KUL-H02D1A)
  ☆12Updated 10 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆108Updated last year
• twinters / zoek-nieuws
  Twitterbot that automatically searches the news with user-provided search terms, and posts relevant links.
  ☆10Updated 2 years ago
• KULeuven-CS / Numerieke-Wiskunde
  Oplossing Examenvragen Numerieke Wiskunde (B-KUL-G0N90B)
  ☆9Updated last year
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 8 years ago
• cmu-phil / Spectral
  ☆46Updated last year
• byorgey / species
  ☆17Updated last year
• adobe / Chronikis
  A compiler for Bayesian time series models.
  ☆23Updated 9 months ago
• andrejbauer / Homotopy
  Homotopy theory in Coq.
  ☆92Updated 13 years ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆52Updated 4 years ago
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆36Updated 2 years ago
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆72Updated 3 years ago
• peterlefanulumsdaine / Oberwolfach-explorations
  collaboration on work in progress
  ☆15Updated 14 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆40Updated last year
• creswick / HaVSA
  HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.
  ☆12Updated 7 years ago
• mikeshulman / basictex
  My basic LaTeX macros and BibTeX file.
  ☆13Updated 2 years ago
• kb1dds / pysheaf
  Python Cellular Sheaf Library
  ☆133Updated 4 months ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆75Updated last year
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆76Updated 10 months ago
• dritchie / quicksand
  A low-level probabilistic programming framework embedded in Terra.
  ☆29Updated 8 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆176Updated 10 months ago
• gambitproject / gte
  Game Theory Explorer: Build, explore and solve extensive form games.
  ☆89Updated 6 years ago