Alternatives and similar repositories for egg:

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

• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆20Updated 2 years ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆56Updated 6 months ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆22Updated 3 months ago
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆40Updated 5 months ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆45Updated 2 months ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆33Updated 2 weeks ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆30Updated 5 months ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆19Updated last year
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated this week
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated last year
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆36Updated 5 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆44Updated last year
• pasa / asdl-rs
  ☆10Updated 5 years ago
• serge-sans-paille / i8mm
  Various implementation of byte matrix multiplication
  ☆24Updated 3 weeks ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• nadavrot / arpfloat
  An arbitrary-precision floating-point library in Rust
  ☆43Updated last year
• 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…
  ☆48Updated 2 weeks ago
• Verdagon / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆31Updated 7 months ago
• rutgers-apl / rlibm-all
  RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…
  ☆14Updated last year
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆22Updated 6 years ago
• graydon / berlin
  berlin windowing system -- historical snapshot
  ☆13Updated last year
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆18Updated last year
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 9 years ago