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
  ☆27Updated 2 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆33Updated this week
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆39Updated last month
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆57Updated 2 years ago
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆41Updated 4 months ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆35Updated last month
• jameysharp / pikevm
  An implementation of "Regular Expression Matching: the Virtual Machine Approach"
  ☆22Updated 10 months ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 9 months ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 2 weeks ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• trishume / gigatrace
  Proof-of-concept for a memory-efficient data structure for zooming billion-event traces
  ☆70Updated 4 years ago
• Verdagon / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆32Updated last year
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆69Updated this week
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated 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…
  ☆55Updated 2 months ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆19Updated 2 months ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆26Updated last year
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆38Updated this week
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆27Updated 4 years ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆73Updated last week
• ltratt / rustbfs
  Rust BF interpreters
  ☆12Updated last year
• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆39Updated 10 months ago
• nadavrot / arpfloat
  An arbitrary-precision floating-point library in Rust
  ☆45Updated 2 months ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆47Updated last year
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year