Alternatives and similar repositories for cyclegg

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

• lsrcz / mini-prover
  Term project for TaPL. A mini coq-like proof assistant.
  ☆17Updated 7 years ago
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated 2 years ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆66Updated 2 years ago
• memoryleak47 / slotted-egraphs
  ☆29Updated 2 weeks ago
• xiw / arithcc
  ☆14Updated 4 years ago
• TiarkRompf / reachability
  ☆53Updated 4 months ago
• cole-k / cc-lemma
  Refreshing automation for inductive equational proofs using e-graphs
  ☆20Updated last year
• yihozhang / egraph-sqlite
  egraph on top of sqlite
  ☆11Updated 3 years ago
• lkuper / CSE290Q-2019-09
  A graduate seminar on SMT solving and solver-aided systems
  ☆26Updated 2 years ago
• tpchina / tpchina.github.io
  ☆17Updated 2 months ago
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆57Updated 5 months ago
• CertiGraph / CertiGraph
  A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
  ☆18Updated this week
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆39Updated this week
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆25Updated 3 months ago
• bluerock-io / BRiCk
  Formalization of C++ for verification purposes.
  ☆83Updated this week
• hopv / MoCHi
  MoCHi: Model Checker for Higher-Order Programs
  ☆42Updated 2 months ago
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆84Updated 7 months ago
• viperproject / carbon
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆31Updated this week
• Kraks / diamond-lang
  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
  ☆45Updated 4 months ago
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Updated 11 months ago
• icra-team / icra
  ICRA: a static analyzer based on interprocedural compositional recurrence analysis
  ☆11Updated 5 years ago
• digama0 / mizar-rs
  Alternative Mizar proof checker (http://mizar.org/) written in Rust
  ☆53Updated this week
• AD1024 / dtlc
  Dependently typed lambda calculus - A Simple Proof Assistant
  ☆12Updated 4 years ago
• arthuraa / extructures
  Finite sets and maps for Coq with extensional equality
  ☆30Updated last month
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆36Updated this week
• ufmg-smite / carcara
  ☆38Updated last week
• foreverbell / verified
  Coq formalizations and proofs of (data) structures and algorithms.
  ☆46Updated 7 years ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆87Updated this week
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆69Updated 2 weeks ago