Alternatives and similar repositories for egg

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

• frankmcsherry / datatoad
  An interactive Datalog
  ☆27Updated this week
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆25Updated 2 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆26Updated last year
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 8 months ago
• xqb64 / ucc
  An optimizing compiler for a large subset of the C programming language
  ☆26Updated 2 weeks ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆39Updated 3 weeks ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated 3 weeks ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 6 months ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆18Updated 3 years ago
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆22Updated 7 years ago
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆40Updated 3 months ago
• Verdagon / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆32Updated 11 months ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆20Updated this week
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 9 years ago
• jameysharp / pikevm
  An implementation of "Regular Expression Matching: the Virtual Machine Approach"
  ☆21Updated 10 months ago
• mcy / alkyne
  ☆23Updated 3 years ago
• FStarLang / steel
  The Steel separation logic library for F*
  ☆35Updated last month
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆35Updated last month
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆15Updated last year
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 years ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated 2 weeks ago
• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆39Updated 10 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated last month
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• 0xGlitchbyte / OCrab
  A Rust to OCaml source to source translator
  ☆21Updated last year
• hylo-lang / Lotsawa
  A Swift implementation of the MARPA algorithms
  ☆20Updated 4 months ago