Alternatives and similar repositories for haskell-compiler

Users that are interested in haskell-compiler are comparing it to the libraries listed below

• elba / elba
  A package manager for Idris
  ☆185Updated 5 years ago
• harpocrates / inline-rust
  Use snippets of Rust inline in your Haskell programs
  ☆226Updated 4 years ago
• JDemler / BidirectionalTypechecking
  Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
  ☆118Updated 6 years ago
• harpocrates / language-rust
  Parser and pretty-printer for the Rust language
  ☆86Updated 2 years ago
• pikelet-lang / pikelet
  A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
  ☆629Updated 4 years ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆73Updated 8 years ago
• TeXitoi / rust-mdo
  Monadic do notation for rust using macro and duck typing
  ☆230Updated 6 years ago
• bodil / higher
  Your favourite Haskell type classes for Rust
  ☆266Updated 2 years ago
• aisamanra / rust-haskell-ffi
  Toy example of calling Rust from Haskell
  ☆132Updated 10 years ago
• pirapira / coq2rust
  Coq to Rust program extraction. The whole tree is on the original Coq code base.
  ☆226Updated 11 years ago
• frank-lang / frank
  Frank compiler
  ☆304Updated last year
• lemmih / lhc
  The LLVM LHC Haskell Optimization System
  ☆202Updated 5 years ago
• sdiehl / tinyjit
  Haskell JIT
  ☆187Updated 6 years ago
• antoyo / tiger-rs
  Rust implementation of the projects from the book Modern Compiler Implementation in ML
  ☆145Updated 8 months ago
• ziman / lightyear
  Parser combinators for Idris
  ☆244Updated 6 years ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆271Updated last year
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆133Updated 5 years ago
• pandaman64 / effective-rust
  ☆153Updated 6 years ago
• kitfre / Kinder
  Algebraic structure and emulation of higher kinded types for Rust
  ☆109Updated 7 years ago
• Marthog / rust-stm
  Software transactional memory
  ☆271Updated 4 years ago
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆85Updated 4 years ago
• owo-lang / minitt-rs
  Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
  ☆121Updated 5 years ago
• willcrichton / tyrade
  A pure functional language for type-level programming in Rust
  ☆338Updated 3 years ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆290Updated 5 years ago
• fpco / inline-c
  ☆302Updated 7 months ago
• tcr / rust-hindley-milner
  An implementation of the Hindley-Milner type system in Rust.
  ☆43Updated 9 years ago
• etaoins / arret
  Pure functional Lisp implemented in Rust
  ☆208Updated 4 years ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆187Updated last year
• tcr / corollary
  Cross-compiler from Haskell to Rust, plus parser-haskell.
  ☆79Updated 8 years ago
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆145Updated last year