Alternatives and similar repositories for cs6225_s25_iitm

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

• SatyendraBanjare / plt-formal-methods-resources
  Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…
  ☆58Updated 6 years ago
• luigiapetre / Formal-Methods-Courses
  Here we collect worldwide courses teaching formal methods
  ☆38Updated 6 years ago
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆57Updated 7 months ago
• CertiCoq / VeriFFI
  VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …
  ☆45Updated 8 months ago
• rems-project / cerberus
  Cerberus C semantics
  ☆66Updated last week
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆84Updated 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
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆68Updated last year
• model-checking / rust-lean-models
  Lean models of Rust libraries
  ☆18Updated 11 months ago
• uds-psl / MPCTT
  Modeling and Proving in Computational Type Theory
  ☆103Updated 3 weeks ago
• verse-lab / splean
  Separation Logic Proofs in Lean
  ☆41Updated 5 months ago
• paigenorth / oplss
  Resources for my Homotopy Type Theory course at OPLSS 2023
  ☆12Updated 2 years ago
• tchajed / coq-tla
  ☆27Updated last year
• logsem / iris-tutorial
  ☆54Updated 2 weeks ago
• leanprover / cslib
  A Lean library for Computer Science
  ☆99Updated 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…
  ☆130Updated last month
• mit-frap / spring20
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
  ☆19Updated 5 years ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆29Updated 2 years ago
• formalsec / wasp
  WASP was superseded by: https://github.com/OCamlPro/owi
  ☆16Updated last year
• verse-lab / bythos
  Compositional Verification of Composite Byzantine Protocols
  ☆12Updated last year
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆111Updated this week
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆66Updated this week
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆161Updated this week
• bluerock-io / BRiCk
  Formalization of C++ for verification purposes.
  ☆84Updated 2 weeks ago
• mit-frap / spring22
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022
  ☆20Updated 3 years ago
• uds-psl / Prog
  ☆85Updated 3 years ago
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆112Updated 2 months ago
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆56Updated last month
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆45Updated last week
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆243Updated last year