Alternatives and similar repositories for cs6225_s25_iitm

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

• CertiCoq / VeriFFI
  VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …
  ☆46Updated last year
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆95Updated last month
• verse-lab / splean
  Separation Logic Proofs in Lean
  ☆45Updated 9 months ago
• rems-project / cerberus
  Cerberus C semantics
  ☆79Updated 2 weeks ago
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆58Updated 11 months ago
• leanprover / cslib
  The Lean Computer Science Library (CSLib)
  ☆213Updated this week
• uds-psl / MPCTT
  Modeling and Proving in Computational Type Theory
  ☆120Updated 4 months ago
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆70Updated last year
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆31Updated 2 years ago
• verse-lab / veil
  A verifier for automated and interactive proofs about transition systems.
  ☆170Updated last month
• verse-lab / bythos
  Compositional Verification of Composite Byzantine Protocols
  ☆13Updated last year
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆72Updated 2 weeks ago
• 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
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Updated last year
• verse-lab / loom
  Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…
  ☆107Updated last week
• logsem / clutch
  Probabilistic separation logics for verifying higher-order probabilistic programs.
  ☆30Updated this week
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 4 years ago
• lean-forward / logical_verification_2025
  The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials
  ☆76Updated 8 months ago
• SkyLabsAI / BRiCk
  Formalization of C++ for verification purposes.
  ☆85Updated last week
• fpvandoorn / LeanCourse23
  ☆34Updated last year
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆241Updated last month
• luigiapetre / Formal-Methods-Courses
  Here we collect worldwide courses teaching formal methods
  ☆42Updated 6 years ago
• rami3l / PLFaLean
  Learn Lean 4 with PLFA proofs.
  ☆99Updated 8 months ago
• TiarkRompf / reachability
  ☆53Updated 2 months ago
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆62Updated last year
• funexists / coq-lean-cheatsheet
  A Cheat Sheet for Coq Developers who want to try LeanProver
  ☆18Updated 2 years ago
• mit-frap / spring22
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022
  ☆20Updated 3 years ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆39Updated 3 weeks ago
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆125Updated last week
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆113Updated 2 years ago