Alternatives and similar repositories for egg:

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

• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆35Updated 7 months ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆33Updated last month
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆20Updated 2 years ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆22Updated 5 months ago
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆39Updated 3 weeks ago
• xqb64 / ucc
  An optimizing compiler for a large subset of the C programming language
  ☆25Updated 5 months ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 9 years ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆38Updated last month
• FStarLang / steel
  The Steel separation logic library for F*
  ☆33Updated 2 weeks ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 4 months ago
• jart / matmul
  ☆18Updated 8 months ago
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆30Updated 3 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆56Updated last year
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated last week
• NeoCogi / pfds
  ☆17Updated 5 months ago
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆66Updated 2 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆66Updated 2 weeks ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated last year