harp-lab / gdlog

Related projects ⓘ

Alternatives and complementary repositories for gdlog

• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 3 weeks ago
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆105Updated last week
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆25Updated 5 months ago
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆118Updated 5 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆33Updated 5 months ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆85Updated 2 years ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 5 months ago
• rems-project / cerberus
  Cerberus C semantics
  ☆53Updated this week
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆57Updated 2 weeks ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆61Updated 2 weeks ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆55Updated 3 weeks ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆126Updated last year
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated last year
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆88Updated this week
• philzook58 / knuckledragger
  Semi-Automated Python Proof Assistant
  ☆54Updated last week
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆71Updated last year
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆36Updated last week
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆50Updated this week
• egraphs-good / egraph-visualizer
  Interactive visualizer for e-graphs
  ☆18Updated last week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated this week
• SethPoulsen / robottwo
  Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
  ☆16Updated 2 years ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆79Updated this week
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆63Updated this week
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆103Updated this week
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆72Updated 2 years ago
• sgpthomas / comp-gen
  Automatically generate a compiler using equality saturation
  ☆26Updated 7 months ago