Alternatives and similar repositories for graph-ir

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

• conal / talk-2015-haskell-to-hardware
  From Haskell to Hardware via CCCs
  ☆58Updated 9 years ago
• wyager / HaSKI
  Cλash/Haskell FPGA-based SKI calculus evaluator
  ☆51Updated 10 years ago
• DianaPajon / tiger
  A Haskell implementation of the tiger compiler
  ☆10Updated 5 years ago
• bollu / diffgeo
  A formalization of synthetic differential geometry in Coq using infinitesimal analysis
  ☆11Updated 4 years ago
• ilya-klyuchnikov / mrsc
  A toolkit for building multi-result supercompilers
  ☆32Updated 4 years ago
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆32Updated 4 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated 2 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆55Updated 4 years ago
• idris-hackers / idris-llvm
  Idris LLVM codegen factored out
  ☆82Updated 8 years ago
• rise-lang / rise
  Implementation of the RISE language
  ☆14Updated 5 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• namin / dafny-sandbox
  Dafny for Metatheory of Programming Languages
  ☆29Updated this week
• Metadiff / gir
  Graph Intermediate Representation (GIR) library for ML
  ☆23Updated 8 years ago
• GaloisInc / llvm-verifier
  The LLVM Symbolic Simulator, part of SAW.
  ☆22Updated 5 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆43Updated 2 weeks ago
• svenssonjoel / Obsidian
  Obsidian Language Repository
  ☆41Updated 7 years ago
• haskell / hoopl
  Higher-order optimization library
  ☆76Updated 2 years ago
• PLSysSec / lio
  Labeled IO Library
  ☆59Updated 5 years ago
• willcrichton / rabbot
  Abstract binding tree code generator
  ☆37Updated 9 years ago
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆83Updated last month
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 12 years ago
• ptal / bonsai
  Programming language based on the synchronous and constraint paradigms
  ☆15Updated 5 years ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• stanford-ppl / argon
  Scala staging framework
  ☆18Updated 7 years ago
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆70Updated 9 months ago
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 6 years ago
• metaocaml / metaocaml-bibliography
  MetaML and MetaOCaml bibliography
  ☆99Updated last year
• sigurdschneider / lvc
  LVC verified compiler
  ☆60Updated 7 years ago
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆161Updated last week
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆116Updated 4 years ago