Alternatives and similar repositories for graph-ir

Users that are interested in graph-ir are comparing it to the libraries listed below

• rise-lang / rise
  Implementation of the RISE language
  ☆14Updated 4 years ago
• stanford-ppl / argon
  Scala staging framework
  ☆16Updated 7 years ago
• GeorgOfenbeck / SpiralS
  ☆23Updated 11 years ago
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆155Updated 3 weeks ago
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆83Updated 2 months ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆10Updated 5 years ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• ptal / bonsai
  Programming language based on the synchronous and constraint paradigms
  ☆15Updated 4 years ago
• gergoerdi / metafun
  Compile Haskell-like code into C++ template metaprograms
  ☆59Updated 9 years ago
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆31Updated 4 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆69Updated 5 years ago
• wyager / HaSKI
  Cλash/Haskell FPGA-based SKI calculus evaluator
  ☆49Updated 9 years ago
• ilya-klyuchnikov / mrsc
  A toolkit for building multi-result supercompilers
  ☆31Updated 3 years ago
• TiarkRompf / rrbtrees
  RRB-Trees: Efficient Immutable Vectors
  ☆51Updated 12 years ago
• jtoman / claims
  A LaTeX package for proof carrying papers
  ☆24Updated 8 years ago
• AccelerateHS / accelerate-llvm
  LLVM backend for Accelerate
  ☆166Updated 2 months ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated 4 months ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated last month
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• AnyDSL / impala
  An imperative and functional programming language
  ☆155Updated 2 months ago
• haskell / hoopl
  Higher-order optimization library
  ☆74Updated 2 years ago
• polytypic / prettier-printer
  A pretty printing library
  ☆25Updated 6 years ago
• jonsterling / Lens.hpp
  Functional Lenses in C++
  ☆21Updated 13 years ago
• conal / talk-2015-haskell-to-hardware
  From Haskell to Hardware via CCCs
  ☆58Updated 9 years ago
• nilehmann / liquid-rust
  ☆37Updated 3 years ago
• NVIDIA / remorac
  ☆40Updated 9 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• idris-hackers / atom-language-idris
  A Idris Mode for Atom.io
  ☆101Updated last year