Alternatives and similar repositories for coremlir

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

• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 4 years ago
• ekmett / half
  half-precision floating-point
  ☆16Updated 2 months ago
• grin-compiler / ghc-wpc
  GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…
  ☆10Updated last year
• andorp / mini-grin
  ICFP tutorial
  ☆39Updated 4 years ago
• ucsd-progsys / mist
  A tiny language for teaching and experimenting with Refinement Types
  ☆48Updated 4 years ago
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated 8 months ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆54Updated 4 months ago
• benjaminselfridge / logix
  Logic Explorer - customizable proof construction tool for sequent calculi
  ☆20Updated 3 years ago
• haskellari / some
  Existential type.
  ☆37Updated 8 months ago
• emilaxelsson / imperative-edsl
  Deep embedding of imperative programs with code generation
  ☆23Updated 3 years ago
• TravisWhitaker / libglaswegian
  Use GHC's Memory Allocator from C
  ☆11Updated 5 years ago
• jwiegley / coq-cds4ltl
  A formal verification of Linear Temporal Logic in Coq
  ☆22Updated last week
• sweirich / replib
  Replib: generic programming & Unbound: generic treatment of binders
  ☆45Updated 2 years ago
• faulhornlabs / csip
  ☆23Updated last month
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 5 years ago
• frex-project / haskell-frex
  ☆23Updated 2 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆37Updated 14 years ago
• jfaure / lfvm-stg
  Map lazy functional language constructs to LLVM IR
  ☆50Updated 6 years ago
• andriusstank / downhill
  ☆20Updated 2 years ago
• sheyll / newtype-zoo
  A Zoo of Haskell Newtype Wrappers
  ☆14Updated 4 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆46Updated 4 months ago
• winterland1989 / unboxed-ref
  Fast unboxed references for ST and IO monad
  ☆15Updated 8 years ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆37Updated 5 years ago
• tdammers / ghc-wiki
  The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)
  ☆12Updated 6 years ago
• gallais / typing-with-leftovers
  Self-contained repository for the eponymous paper
  ☆30Updated 6 years ago
• bitonic / tog
  ☆26Updated 8 years ago
• blamario / grampa
  Grammatical parsers - combinator library for parsing general context-free grammars
  ☆41Updated this week
• haskell-suite / haskell-tc
  Haskell typechecker
  ☆39Updated 6 years ago
• plum-umd / cgc
  Constructive Galois connections
  ☆35Updated 7 years ago
• xgrommx / agda-ecosystem
  ☆32Updated 7 years ago