Alternatives and similar repositories for cs6225_s25_iitm

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

• luigiapetre / Formal-Methods-Courses
  Here we collect worldwide courses teaching formal methods
  ☆41Updated 6 years ago
• rems-project / cerberus
  Cerberus C semantics
  ☆71Updated 2 months ago
• CertiCoq / VeriFFI
  VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …
  ☆45Updated 9 months 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
• SatyendraBanjare / plt-formal-methods-resources
  Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…
  ☆62Updated 6 years ago
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆87Updated 2 months ago
• AU-COBRA / ConCert
  A framework for smart contract verification in Coq
  ☆124Updated 2 months ago
• verse-lab / veil
  A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…
  ☆148Updated 2 weeks ago
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆57Updated 9 months ago
• leanprover / cslib
  A Lean library for Computer Science
  ☆145Updated this week
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆69Updated 2 weeks ago
• logsem / iris-tutorial
  ☆57Updated last month
• verse-lab / bythos
  Compositional Verification of Composite Byzantine Protocols
  ☆13Updated last year
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆117Updated last week
• paigenorth / oplss
  Resources for my Homotopy Type Theory course at OPLSS 2023
  ☆13Updated 2 years ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆29Updated 2 years ago
• andrejbauer / faux-type-theory
  ☆43Updated last month
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆70Updated last year
• SkylabsAI / BRiCk
  Formalization of C++ for verification purposes.
  ☆84Updated this week
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆74Updated 2 years ago
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆109Updated 2 months ago
• tchajed / coq-tla
  ☆28Updated last year
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆112Updated last year
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆155Updated 2 months ago
• verse-lab / ego
  EGraphs in OCaml
  ☆76Updated 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 last week
• uds-psl / MPCTT
  Modeling and Proving in Computational Type Theory
  ☆117Updated 2 months ago
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆112Updated 4 months ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆90Updated 2 weeks ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆190Updated this week