Alternatives and similar repositories for cp

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

• caterinaurban / Libra
  ☆24Updated 4 years ago
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated 4 months ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆432Updated last month
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆13Updated 2 months ago
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆444Updated last week
• braxtonhall / fib
  the fibonacci only you would give me
  ☆16Updated 6 months ago
• ccz181078 / Coq-BB5
  ☆356Updated 4 months ago
• Beneficial-AI-Foundation / dafny-autopilot
  ☆14Updated 7 months ago
• StarExec / StarExec
  StarExec is a cross community logic solving service
  ☆19Updated 8 months ago
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆96Updated 4 years ago
• chrisgzf / nus-temp
  Script to easily submit your body temperature to NUS's temperature declaration system
  ☆17Updated 4 years ago
• viperproject / VerifiedSCION
  Verifying the SCION architecture using Gobra
  ☆11Updated 2 weeks ago
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆486Updated last month
• wdhg / reggie
  run and encode simple register machine programs
  ☆15Updated 4 years ago
• NeuralNetworkVerification / Marabou
  ☆311Updated 3 months ago
• nipkow / fds_ss20
  Lecture course on verified Functional Data Structures
  ☆29Updated 5 years ago
• potassco / clingo
  🦉 A grounder and solver for logic programs.
  ☆743Updated last week
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆54Updated 3 years ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆505Updated this week
• cvc5 / cvc5
  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
  ☆1,252Updated this week
• runtimeverification / k
  K Framework Tools 7.0
  ☆559Updated this week
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆538Updated 8 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆118Updated last year
• synduce / Synduce
  An automatic recursive function transformer.
  ☆10Updated 2 years ago
• andromeda / mir
  Module-level RWX permissions for Node.js
  ☆37Updated last year
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆42Updated 8 months ago
• zawagner22 / transformers_math_experiments
  ☆28Updated last year
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆715Updated 9 months ago
• b-mehta / formalising-mathematics-notes
  Course notes for Formalising Mathematics 2026
  ☆88Updated this week
• google-deepmind / formal-conjectures
  A collection of formalized statements of conjectures in Lean.
  ☆812Updated this week