mwillsey / egg

Related projects ⓘ

Alternatives and complementary repositories for egg

• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆37Updated 2 months ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• graydon / exhaustigen
  ☆10Updated 2 years ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆31Updated this week
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆15Updated 2 weeks ago
• worm-blossom / macromania
  Macro-based string templating.
  ☆20Updated 2 months ago
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆64Updated last year
• loro-dev / generic-btree
  It’s a pure safe BTree that can be used to build your own special-purpose btree data structure
  ☆50Updated 6 months ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆29Updated 2 months ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• RCHowell / Sift
  Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.
  ☆21Updated 2 years ago
• meithecatte / rustc-sat
  Makes rustc's exhaustiveness checker solve SAT problems
  ☆15Updated 3 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated last year
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆19Updated 2 years ago
• jatcwang / immix-rust
  mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml
  ☆34Updated 8 years ago
• SomewhatML / match-compile
  A small example of a source->source pattern matching to decision tree compiler
  ☆14Updated 4 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• hylo-lang / Lotsawa
  A Swift implementation of the MARPA algorithms
  ☆18Updated last week
• eqlog / eqlog
  Datalog with equality for rust
  ☆55Updated 2 weeks ago
• pasa / asdl-rs
  ☆10Updated 4 years ago
• playXE / garbage-collector
  Garbage collector implementation in Rust for Rust
  ☆13Updated 4 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆26Updated 2 years ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆41Updated last month
• maplant / marche
  c'est le marché
  ☆38Updated last year
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆36Updated this week
• cgswords / rsc
  Rust-based Scheme Compiler, written in the Nanopass style
  ☆11Updated 6 years ago