Alternatives and similar repositories for cp

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

• braxtonhall / fib
  the fibonacci only you would give me
  ☆16Updated 3 months ago
• caterinaurban / Libra
  ☆24Updated 3 years ago
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆93Updated 3 years ago
• microsoft / loop-invariant-gen-experiments
  Loop invariant generation with LLMs
  ☆28Updated 7 months ago
• StephanGocht / VeriPB
  Verifier for pseudo-Boolean proofs
  ☆15Updated 3 years ago
• synduce / Synduce
  An automatic recursive function transformer.
  ☆10Updated 2 years ago
• ccz181078 / Coq-BB5
  ☆344Updated 3 weeks ago
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆53Updated last year
• sr-lab / coqpyt
  Python client for coq-lsp
  ☆41Updated 3 months ago
• wdhg / reggie
  run and encode simple register machine programs
  ☆15Updated 4 years ago
• hipsleek / hipsleek
  ☆12Updated 8 months ago
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆431Updated this week
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆52Updated 2 years ago
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆42Updated 2 years ago
• rkthomps / coq-modeling
  Language models for Coq based on data collected from the coq lsp.
  ☆19Updated 2 months ago
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆25Updated 3 years ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆25Updated 4 years ago
• awslabs / typecart
  ☆22Updated 10 months ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆411Updated last week
• diprism / perpl
  The PERPL Compiler
  ☆13Updated last week
• H-Huang / LL1-Academy
  LL1 by Team , made with
  ☆11Updated 3 years ago
• LeifAndersen / PLGradSchools
  ☆233Updated last year
• NeuralNetworkVerification / Marabou
  ☆297Updated last month
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆53Updated 3 years ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆35Updated 5 months ago
• Beneficial-AI-Foundation / dafny-autopilot
  ☆13Updated 4 months ago
• piskoviste / pisek
  Tool for developing tasks for programming competitions.
  ☆22Updated this week
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆113Updated 4 months ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆88Updated last year
• qubrabench / qubrabench
  Quantum benchmarking framework
  ☆14Updated last year