Alternatives and similar repositories for filia

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

• memoryleak47 / slotted-egraphs
  ☆29Updated 2 weeks ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆74Updated last week
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆103Updated 3 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆47Updated 3 months ago
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Updated last year
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆36Updated 3 weeks ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆72Updated last week
• digama0 / lean-rs
  High level Lean 4 FFI for Rust
  ☆14Updated last year
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆66Updated 5 years ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆51Updated 3 years ago
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆133Updated 2 months ago
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆17Updated 5 months ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆33Updated last year
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆59Updated last year
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated last month
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• bollu / lz
  A minimal in MLIR dialect along the lines of STG to represent laziness.
  ☆15Updated 3 years ago
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆85Updated 5 months ago
• mlir-rs / mlir-sys
  Rust bindings to the MLIR C API.
  ☆66Updated 3 weeks ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆24Updated this week
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆74Updated last month
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆187Updated last week
• miestrode / ekege
  A different approach to an E-graph library
  ☆28Updated 3 months ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆28Updated 5 months ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆104Updated 3 weeks ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆23Updated 2 years ago
• uw-unsat / jitsynth
  ☆18Updated 5 years ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆51Updated this week