Alternatives and similar repositories for graph-ir:

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

• GaloisInc / llvm-verifier
  The LLVM Symbolic Simulator, part of SAW.
  ☆22Updated 4 years ago
• rise-lang / rise
  Implementation of the RISE language
  ☆14Updated 4 years ago
• stanford-ppl / argon
  Scala staging framework
  ☆16Updated 6 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆29Updated 9 years ago
• GeorgOfenbeck / SpiralS
  ☆22Updated 11 years ago
• conal / talk-2015-haskell-to-hardware
  From Haskell to Hardware via CCCs
  ☆58Updated 8 years ago
• joewhaley / bddbddb
  ☆10Updated 8 years ago
• wyager / HaSKI
  Cλash/Haskell FPGA-based SKI calculus evaluator
  ☆49Updated 9 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated 11 months ago
• DianaPajon / tiger
  A Haskell implementation of the tiger compiler
  ☆10Updated 4 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 10 years ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated 2 weeks ago
• strake / frown
  LALR(k) Parser Generator for Haskell, by Ralf Hinze
  ☆9Updated 5 years ago
• sireum / v3
  Sireum v3
  ☆10Updated last year
• Metadiff / gir
  Graph Intermediate Representation (GIR) library for ML
  ☆22Updated 7 years ago
• puffnfresh / atsboot
  A tiny 32 bit kernel written in ATS
  ☆26Updated 10 years ago
• TiarkRompf / rrbtrees
  RRB-Trees: Efficient Immutable Vectors
  ☆50Updated 12 years ago
• mAarnos / Serkr
  An automated theorem prover for first order logic.
  ☆28Updated 7 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• sweirich / hs-inferno
  Generic unification-based type inference library
  ☆25Updated 9 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆76Updated 3 months ago
• jonsterling / Lens.hpp
  Functional Lenses in C++
  ☆21Updated 13 years ago
• johnwickerson / memalloy
  Memory consistency modelling using Alloy
  ☆28Updated 4 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• awf / Coconut
  Shaking expression trees until something tasty pops out
  ☆16Updated 6 years ago