Alternatives and similar repositories for vflog:

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

• harp-lab / gdlog
  ☆80Updated 5 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 9 months ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆36Updated 4 months ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆30Updated 4 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆39Updated 9 months ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆46Updated 3 years ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 3 years ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆53Updated last week
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆30Updated this week
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• Mtac2 / Mtac2
  ☆54Updated 3 weeks ago
• TiarkRompf / reachability
  ☆46Updated last month
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆23Updated 4 months ago
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆140Updated last month
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆35Updated last week
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆27Updated 4 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆20Updated last year
• microsoft / AliveInLean
  Formally verified implementation of Alive in Lean
  ☆35Updated last year
• ssm-lang / sslang
  A language built atop the Sparse Synchronous Model
  ☆18Updated last year
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆15Updated this week
• dboulytchev / miniKanren-coq
  A certified semantics for relational programming workout.
  ☆26Updated 4 years ago
• arthuraa / memory-safe-language
  A formalization of properties of a simple imperative, memory-safe language.
  ☆19Updated 3 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• jacobstanley / ssa-anf
  SSA vs ANF
  ☆42Updated 9 years ago