Alternatives and similar repositories for egg

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

• hydromatic / morel-rust
  A functional query language, implemented in Rust
  ☆37Updated 2 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 3 years ago
• hylo-lang / Lotsawa
  A Swift implementation of the MARPA algorithms
  ☆20Updated last year
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆28Updated 3 years ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆38Updated 6 months ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆61Updated 2 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated last year
• sampsyo / flatcalc
  world's worst interpreter
  ☆67Updated 9 months ago
• jameysharp / pikevm
  An implementation of "Regular Expression Matching: the Virtual Machine Approach"
  ☆25Updated last year
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆33Updated 9 months ago
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆37Updated 2 years ago
• AmrDeveloper / LLQL
  LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…
  ☆64Updated last week
• graydon / exhaustigen
  ☆11Updated 4 years ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆80Updated last week
• dcao / babble
  library learning w egraphs
  ☆25Updated 2 years ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆150Updated last year
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆82Updated 2 years ago
• frankmcsherry / datatoad
  An interactive Datalog
  ☆65Updated this week
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆84Updated this week
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆26Updated 2 years ago
• harp-lab / gdlog
  ☆87Updated last year
• ykjit / yk
  yk packages
  ☆39Updated this week
• awto / chr2sql
  CHR2 to SQL conversion
  ☆15Updated 10 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated last month
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆40Updated 8 months ago
• langston-barrett / tree-crasher
  Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
  ☆82Updated this week
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆27Updated 2 years ago