Alternatives and similar repositories for cp

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

• lollobaldo / Inf2D-cw1--autotester
  ☆23Updated 4 years ago
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆53Updated 2 years ago
• mbg / cs310
  Templates and generic advice for CS310 etc.
  ☆41Updated 3 weeks ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆428Updated last month
• janestreet / learn-ocaml-workshop
  Exercises and projects for Jane Street's OCaml Workshop
  ☆664Updated 3 years ago
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆93Updated 4 years ago
• diprism / perpl
  The PERPL Compiler
  ☆14Updated 2 months ago
• viperproject / VerifiedSCION
  Verifying the SCION architecture using Gobra
  ☆11Updated last week
• caterinaurban / Libra
  ☆24Updated 4 years ago
• janestreet / bonsai
  A library for building dynamic webapps, using Js_of_ocaml
  ☆630Updated last month
• rkthomps / coq-modeling
  Language models for Coq based on data collected from the coq lsp.
  ☆22Updated 5 months ago
• hipsleek / hipsleek
  ☆12Updated 10 months ago
• NeuralNetworkVerification / Marabou
  ☆305Updated 2 months ago
• Department-of-Administrative-Affairs / DM-CS-2-answers
  ☆23Updated 2 years ago
• cardinalitypuzzles / cardboard
  Dashboard for managing puzzles and tracking status during a puzzle hunt
  ☆33Updated 8 months ago
• chilaxan / pysnippets
  General messing around with the internals of python
  ☆16Updated 2 years ago
• afonsocrg / Uni-Feedback
  Collective feedback from MEIC courses
  ☆54Updated this week
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated 3 months ago
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆379Updated this week
• cvc5 / cvc5
  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
  ☆1,242Updated last week
• cs3110 / textbook
  The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
  ☆891Updated last month
• luigiapetre / Formal-Methods-Courses
  Here we collect worldwide courses teaching formal methods
  ☆42Updated 6 years ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆497Updated last month
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆319Updated 4 months ago
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆13Updated last month
• alexanderwasey / stupid-computer
  A understandable Haskell tracer.
  ☆14Updated 3 years ago
• secure-foundations / human-eval-verus
  ☆24Updated 3 months ago
• janestreet / torch
  ☆145Updated last month
• jwshii / etna
  ☆11Updated 7 months ago