Alternatives and similar repositories for cs6225_s25_iitm

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

• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆65Updated 4 months ago
• model-checking / rust-lean-models
  Lean models of Rust libraries
  ☆18Updated 10 months ago
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Updated 11 months ago
• verse-lab / bythos
  Compositional Verification of Composite Byzantine Protocols
  ☆12Updated 10 months ago
• microsoft / z3guide
  Tutorials and courses for Z3
  ☆84Updated last month
• rems-project / cerberus
  Cerberus C semantics
  ☆63Updated last week
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆69Updated last week
• philzook58 / z3_tutorial
  Jupyter notebooks for tutorial on the Z3 SMT solver
  ☆161Updated last year
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆55Updated 11 months ago
• codersguild / Software-Analysis-PAVT
  Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…
  ☆37Updated 2 years ago
• formalsec / wasp
  WASP was superseded by: https://github.com/OCamlPro/owi
  ☆16Updated 10 months ago
• luigiapetre / Formal-Methods-Courses
  Here we collect worldwide courses teaching formal methods
  ☆38Updated 6 years ago
• Kraks / quantum-compiler
  Quantum circuits compiler with staging and continuations
  ☆17Updated 7 months ago
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆57Updated 5 months ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆28Updated 2 years ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆48Updated 3 years ago
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆108Updated this week
• kth-step / HolBA
  Binary analysis in HOL
  ☆41Updated 3 months ago
• SVF-tools / Simplified-STL
  A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation
  ☆11Updated 2 years ago
• CertiCoq / VeriFFI
  VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …
  ☆46Updated 6 months ago
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆84Updated 7 months ago
• TiarkRompf / reachability
  ☆53Updated 4 months ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆110Updated last year
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆81Updated 3 weeks ago
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆206Updated 10 months ago
• mit-frap / spring20
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
  ☆19Updated 5 years ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆25Updated 2 weeks ago
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆27Updated last year
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆68Updated last month
• Kraks / sai
  Staged Abstract Interpreters
  ☆66Updated 2 years ago