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
  ☆39Updated 3 months ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆27Updated 3 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆36Updated this week
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆59Updated 2 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 8 months ago
• 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
  ☆25Updated last year
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 2 years ago
• trishume / twitterperf
  Prototyping the performance of various components of a theoretical faster Twitter
  ☆66Updated 2 years ago
• ssloy / tinyoptimizer
  Can I make an *optimizing* compiler under 1k lines of code?
  ☆61Updated 6 months ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• tekknolagi / skybison
  A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…
  ☆47Updated 2 months ago
• near / finite-wasm
  Cheating a little to solve the halting problem at scale
  ☆29Updated 3 months ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆26Updated last year
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆148Updated last year
• hylo-lang / Lotsawa
  A Swift implementation of the MARPA algorithms
  ☆20Updated 7 months ago
• jameysharp / pikevm
  An implementation of "Regular Expression Matching: the Virtual Machine Approach"
  ☆22Updated last year
• eqlog / eqlog
  Datalog with equality for rust
  ☆69Updated this week
• frankmcsherry / datatoad
  An interactive Datalog
  ☆49Updated this week
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆62Updated 4 months ago
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆14Updated 2 years ago
• scc416 / Visual2
  ARM assembler and simulator (written in F#) with elmish, React Monaco Editor, Electron & Fable
  ☆28Updated 2 years ago
• xqb64 / ucc
  An optimizing compiler for a large subset of the C programming language
  ☆26Updated last week
• EarlGray / language-incubator
  Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
  ☆58Updated last year
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated 3 months ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆36Updated last month
• JonesBeach / memphis
  A ridiculous Python interpreter written—from scratch—in Rust.
  ☆24Updated last week