Alternatives and similar repositories for cyclegg:

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

• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
  ☆22Updated 3 weeks ago
• lsrcz / mini-prover
  Term project for TaPL. A mini coq-like proof assistant.
  ☆17Updated 6 years ago
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated last year
• foreverbell / verified
  Coq formalizations and proofs of (data) structures and algorithms.
  ☆46Updated 6 years ago
• verif-scop / PolCert
  A verified polyhedral scheduling validator in Coq.
  ☆20Updated 5 months ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 2 years ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆36Updated 4 months ago
• julesjacobs / cgraphs
  Deadlock freedom by type checking
  ☆19Updated last year
• icra-team / icra
  ICRA: a static analyzer based on interprocedural compositional recurrence analysis
  ☆11Updated 5 years ago
• csabahruska / p4f-control-flow-analysis
  Haskell implementation of P4F Control-Flow Analysis
  ☆21Updated 2 years ago
• xiw / arithcc
  ☆14Updated 4 years ago
• TiarkRompf / reachability
  ☆46Updated 3 weeks ago
• tpchina / tpchina.github.io
  ☆17Updated 2 years ago
• Mtac2 / Mtac2
  ☆54Updated 3 weeks ago
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆17Updated 8 months ago
• MarisaKirisame / MemoryBalancer
  ☆24Updated last year
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆37Updated this week
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆57Updated this week
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 2 years ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆23Updated 4 months ago
• siraben / coq-wigderson
  Formalization of Wigderson's graph coloring algorithm in Coq
  ☆9Updated last year
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• arthuraa / extructures
  Finite sets and maps for Coq with extensional equality
  ☆29Updated 3 months ago
• sgpthomas / comp-gen
  Automatically generate a compiler using equality saturation
  ☆28Updated 11 months ago
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆59Updated 3 weeks ago
• ice1k / ConsHoTT
  Constructive Interpretations of HoTT
  ☆36Updated 4 years ago