Alternatives and similar repositories for vflog

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

• harp-lab / gdlog
  ☆82Updated 8 months ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆45Updated last month
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆48Updated 3 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 7 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆27Updated 3 months ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆21Updated last year
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• bpowers / liquid-types
  Logically Qualified Data Types - automatically infer refinement types
  ☆15Updated 3 years ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated last year
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated 4 months ago
• egraphs-good / egraph-visualizer
  Interactive visualizer for e-graphs
  ☆21Updated 7 months ago
• logsem / aneris
  Program logic for developing and verifying distributed systems
  ☆34Updated last week
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆16Updated 10 months ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆55Updated this week
• jacobstanley / ssa-anf
  SSA vs ANF
  ☆43Updated 9 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 2 months ago
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆37Updated last month
• philzook58 / datalog-book
  A book about datalog
  ☆12Updated 2 years ago
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 5 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 5 months ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆27Updated 2 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago