Alternatives and similar repositories for cp

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

• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆53Updated 2 years ago
• ed-aisys / edin-mls-25-spring
  An open-source ML system course
  ☆28Updated 9 months ago
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆13Updated 2 weeks ago
• cardinalitypuzzles / cardboard
  Dashboard for managing puzzles and tracking status during a puzzle hunt
  ☆33Updated 7 months ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆93Updated last year
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆318Updated 6 months ago
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆42Updated 2 years ago
• uclaacm / uclaacm-rustlings
  Learning Rust in 6 weeks with ACM @ UCLA!
  ☆10Updated 3 years ago
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated 3 months ago
• NeuralNetworkVerification / Marabou
  ☆305Updated last month
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆424Updated last week
• JasonGross / guarantees-based-mechanistic-interpretability
  ☆17Updated 2 weeks ago
• b-mehta / formalising-mathematics-notes
  Course notes for Formalising Mathematics 2025
  ☆78Updated 5 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆321Updated last year
• google-deepmind / formal-conjectures
  A collection of formalized statements of conjectures in Lean.
  ☆726Updated last week
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆122Updated last year
• caterinaurban / Libra
  ☆24Updated 4 years ago
• mbg / cs310
  Templates and generic advice for CS310 etc.
  ☆40Updated this week
• agrarpan / coq-synthesis
  coq-synthesis is a Coq plugin for proof generation and next tactic prediction
  ☆13Updated last year
• harp-project / AML-Formalization
  ☆11Updated 3 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆113Updated last year
• Vuenc / TUM-Master-Informatics-Offered-Lectures
  Matching the electives in the TUM Informatics master by area with the information if they are actually being offered this semester.
  ☆150Updated last month
• social-anthrax / IADS_algorithms
  A collection of algorithms and datastructures introduced during UoE's Introduction to Datastructures and Algorithms class.
  ☆20Updated 3 years ago
• lollobaldo / Inf2D-cw1--autotester
  ☆23Updated 4 years ago
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆441Updated this week
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆493Updated 2 weeks ago
• viperproject / VerifiedSCION
  Verifying the SCION architecture using Gobra
  ☆11Updated this week
• martinlackner / abcvoting
  Python implementations of approval-based committee (multi-winner) voting rules
  ☆42Updated 3 weeks ago
• RumbleDB / bigdata-exercises
  Exercises for the Big Data lecture at ETH Zurich (Fall 2025)
  ☆168Updated this week
• lucidBrot / algolab-tutorial
  How to use boost, CGAL, and ideas for solving the Algolab lecture exercises
  ☆19Updated last year