Alternatives and similar repositories for cs6225_s25_iitm

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

• verse-lab / bythos
  Compositional Verification of Composite Byzantine Protocols
  ☆13Updated last year
• CertiCoq / VeriFFI
  VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …
  ☆46Updated 10 months ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆70Updated this week
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆31Updated 2 years ago
• verse-lab / splean
  Separation Logic Proofs in Lean
  ☆45Updated 7 months ago
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆90Updated 3 months ago
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆57Updated 9 months ago
• paigenorth / oplss
  Resources for my Homotopy Type Theory course at OPLSS 2023
  ☆13Updated 2 years ago
• tchajed / coq-tla
  ☆29Updated last year
• uds-psl / MPCTT
  Modeling and Proving in Computational Type Theory
  ☆117Updated 3 months ago
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆70Updated last year
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆43Updated 4 years ago
• luigiapetre / Formal-Methods-Courses
  Here we collect worldwide courses teaching formal methods
  ☆42Updated 6 years ago
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆101Updated 2 weeks ago
• rems-project / cerberus
  Cerberus C semantics
  ☆72Updated this week
• logsem / clutch
  Probabilistic separation logics for verifying higher-order probabilistic programs.
  ☆27Updated this week
• mit-plv / coqutil
  Coq library for tactics, basic definitions, sets, maps
  ☆49Updated last month
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Updated last year
• leanprover / cslib
  A Lean library for Computer Science
  ☆161Updated this week
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆82Updated 6 months ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆39Updated this week
• rocqetry / rocqet
  Rocqet proof language
  ☆24Updated 3 months ago
• bobatkey / CS316-2022
  Materials for the 2022-2023 edition of CS316 "Functional Programming"
  ☆24Updated 2 years ago
• andrejbauer / faux-type-theory
  ☆45Updated 2 months ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆112Updated last year
• nadia-polikarpova / cyclegg
  Cyclic theorem prover for equalitional reasoning using egraphs
  ☆27Updated 2 years ago
• TiarkRompf / reachability
  ☆53Updated last month
• fpvandoorn / LeanCourse23
  ☆34Updated last year
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆60Updated this week
• verse-lab / veil
  A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…
  ☆152Updated 3 weeks ago