Alternatives and similar repositories for vflog:

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

• harp-lab / gdlog
  ☆81Updated 5 months ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆37Updated 5 months ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 10 months ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆46Updated 3 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆41Updated 10 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated 10 months ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆26Updated 3 weeks ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆41Updated this week
• opencompl / egg-tactic-code
  ☆16Updated last year
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 4 months ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆20Updated last year
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• bpowers / liquid-types
  Logically Qualified Data Types - automatically infer refinement types
  ☆15Updated 3 years ago
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated 2 months ago
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• eytans / easter-egg
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆11Updated 3 weeks ago
• sgpthomas / comp-gen
  Automatically generate a compiler using equality saturation
  ☆28Updated last year
• philzook58 / datalog-book
  A book about datalog
  ☆12Updated 2 years ago
• yihozhang / egraph-sqlite
  egraph on top of sqlite
  ☆11Updated 3 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated last year
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆31Updated 5 months ago
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆16Updated 7 months ago
• egraphs-good / egraph-visualizer
  Interactive visualizer for e-graphs
  ☆21Updated 4 months ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆53Updated last week
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆22Updated 2 weeks ago