acorrenson / WiSE

Related projects ⓘ

Alternatives and complementary repositories for WiSE

• TiarkRompf / reachability
  ☆38Updated this week
• mit-plv / coqutil
  Coq library for tactics, basic definitions, sets, maps
  ☆42Updated last week
• awslabs / rust-smt-ir
  ☆37Updated 3 months ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 2 years ago
• Tritlo / PropR
  Genetic program repair using GHC
  ☆30Updated 6 months ago
• verse-lab / ego
  EGraphs in OCaml
  ☆60Updated 10 months ago
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆106Updated last week
• matthesjh / coq-tal
  Formalization of Typed Assembly Language (TAL) in Coq
  ☆17Updated 8 months ago
• math-comp / algebra-tactics
  Ring, field, lra, nra, and psatz tactics for Mathematical Components
  ☆33Updated 2 months ago
• rems-project / cerberus
  Cerberus C semantics
  ☆53Updated this week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated last year
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆22Updated 3 months ago
• gangtan / CPUmodels
  GoNative project: formal machines models in Coq
  ☆36Updated 7 years ago
• cyclist-org / cyclist
  A cyclic theorem prover framework.
  ☆31Updated 3 weeks ago
• egraphs-good / egraph-visualizer
  Interactive visualizer for e-graphs
  ☆18Updated last week
• yihozhang / egraph-sqlite
  egraph on top of sqlite
  ☆12Updated 2 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆57Updated 3 weeks ago
• cuplv / dai
  DAI: Demanded Abstract Interpretation
  ☆16Updated 2 months ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆65Updated last year
• philzook58 / eggmt
  Egraphs Modulo Theories
  ☆14Updated last month
• luigiapetre / Formal-Methods-Courses
  Here we collect worldwide courses teaching formal methods
  ☆33Updated 5 years ago
• bedrocksystems / BRiCk
  Formalization of C++ for verification purposes.
  ☆69Updated this week
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• caterinaurban / function
  ☆11Updated 5 months ago
• blanchette / logical_verification_2019
  Repository for the course Logical Verification 2019–2020 at VU Amsterdam
  ☆13Updated 4 years ago
• nadia-polikarpova / cyclegg
  Cyclic theorem prover for equalitional reasoning using egraphs
  ☆24Updated last year
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆61Updated 3 weeks ago
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆32Updated 2 months ago
• svenkeidel / sturdy
  Sturdy is a library for developing sound static analyses in Haskell.
  ☆60Updated last year