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
  ☆188Updated 4 years ago
• harpocrates / inline-rust
  Use snippets of Rust inline in your Haskell programs
  ☆226Updated 3 years ago
• harpocrates / language-rust
  Parser and pretty-printer for the Rust language
  ☆86Updated last year
• JDemler / BidirectionalTypechecking
  Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
  ☆111Updated 5 years ago
• aisamanra / rust-haskell-ffi
  Toy example of calling Rust from Haskell
  ☆130Updated 9 years ago
• lemmih / lhc
  The LLVM LHC Haskell Optimization System
  ☆199Updated 4 years ago
• sdiehl / tinyjit
  Haskell JIT
  ☆184Updated 5 years ago
• TeXitoi / rust-mdo
  Monadic do notation for rust using macro and duck typing
  ☆227Updated 5 years ago
• ollef / sixten
  Functional programming with fewer indirections
  ☆761Updated 4 years ago
• ekmett / coda
  A language experiment -- irc.freenode.net ##coda
  ☆162Updated 11 months ago
• simonmar / async
  Run IO operations asynchronously and wait for their results
  ☆324Updated 4 months ago
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆82Updated 3 years ago
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆79Updated 3 years ago
• pikelet-lang / pikelet
  A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
  ☆616Updated 3 years ago
• haskell-hint / hint
  Runtime Haskell interpreter
  ☆267Updated 2 months ago
• antoyo / tiger-rs
  Rust implementation of the projects from the book Modern Compiler Implementation in ML
  ☆142Updated last month
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆131Updated 4 years ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆257Updated 6 months ago
• frank-lang / frank
  Frank compiler
  ☆285Updated 10 months ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆159Updated 4 years ago
• bodil / higher
  Your favourite Haskell type classes for Rust
  ☆223Updated last year
• owo-lang / minitt-rs
  Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
  ☆117Updated 4 years ago
• goldfirere / singletons
  Fake dependent types in Haskell using singletons
  ☆290Updated this week
• llvm-hs / llvm-hs
  Haskell bindings for LLVM
  ☆517Updated 7 months ago
• haskell / containers
  Assorted concrete container types
  ☆329Updated last week
• ziman / lightyear
  Parser combinators for Idris
  ☆240Updated 5 years ago
• snoyberg / mono-traversable
  Type classes for mapping, folding, and traversing monomorphic containers
  ☆156Updated 2 months ago
• haskell-suite / haskell-src-exts
  Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
  ☆197Updated last year
• willcrichton / tyrade
  A pure functional language for type-level programming in Rust
  ☆325Updated 2 years ago
• fpco / inline-c
  ☆287Updated 3 months ago