Alternatives and similar repositories for CSE290Q-2019-09:

Users that are interested in CSE290Q-2019-09 are comparing it to the libraries listed below

• Kraks / sai
  Staged Abstract Interpreters
  ☆65Updated 2 years ago
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated last year
• dafny-lang / libraries
  Libraries useful for Dafny programs
  ☆43Updated 3 months ago
• foreverbell / verified
  Coq formalizations and proofs of (data) structures and algorithms.
  ☆46Updated 6 years ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• viperproject / carbon
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆30Updated last week
• bluerock-io / BRiCk
  Formalization of C++ for verification purposes.
  ☆75Updated this week
• GaloisInc / reopt-vcg
  A translation verifier for Reopt (https://github.com/GaloisInc/reopt)
  ☆15Updated 3 years ago
• xiw / arithcc
  ☆14Updated 4 years ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆41Updated 3 years ago
• julesjacobs / cgraphs
  Deadlock freedom by type checking
  ☆19Updated last year
• tlringer / plugin-tutorial
  Yet another plugin tutorial, this time as an exercise for 598
  ☆38Updated last year
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆23Updated 4 months ago
• aman-goel / ivybench
  Collection of Distributed Protocol Verification Problems
  ☆12Updated 10 months ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 3 years ago
• jsiek / B522-PL-Foundations
  Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
  ☆53Updated 4 years ago
• tchajed / coq-tla
  ☆26Updated last year
• trishullab / cflobdd
  ☆11Updated 8 months ago
• gangtan / CPUmodels
  GoNative project: formal machines models in Coq
  ☆36Updated 7 years ago
• logsem / iris-lecture-notes
  ☆13Updated 7 months ago
• DavePearce / FeatherweightRust
  Provides a reference implementation of FeatherweightRust in Java.
  ☆14Updated 3 years ago
• DeepSpec / dsss18
  Lecture material for DeepSpec Summer School 2018
  ☆68Updated 6 years ago
• arthuraa / extructures
  Finite sets and maps for Coq with extensional equality
  ☆29Updated 3 months ago
• verif-scop / PolCert
  A verified polyhedral scheduling validator in Coq.
  ☆20Updated 5 months ago
• Mtac2 / Mtac2
  ☆54Updated 2 weeks ago
• tpchina / tpchina.github.io
  ☆16Updated 2 years ago
• tip-org / benchmarks
  Tons of Inductive Problems: The Benchmarks
  ☆26Updated last year
• rems-project / cerberus
  Cerberus C semantics
  ☆61Updated this week