soupi / rfc

Related projects ⓘ

Alternatives and complementary repositories for rfc

• tonyday567 / checklist
  How I start Haskell.
  ☆99Updated last month
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆116Updated 3 years ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆155Updated 3 years ago
• wasp-lang / haskell-handbook
  Best practices on how to be efficient with Haskell in production
  ☆93Updated 4 months ago
• effectfully-ou / sketches
  A Haskell blog
  ☆126Updated 4 months ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆336Updated last week
• blynn / compiler
  The adventures of a Haskell compiler
  ☆213Updated last week
• augustss / MicroHs
  Haskell implemented with combinators
  ☆365Updated this week
• well-typed / optics
  Optics as an abstract interface
  ☆375Updated 3 months ago
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆219Updated 4 months ago
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆143Updated 3 years ago
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆117Updated 2 years ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆257Updated 5 months ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆212Updated last year
• willbasky / Awesome-list-of-Haskell-mentors
  An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.
  ☆169Updated 2 years ago
• NorfairKing / haskell-dangerous-functions
  Documentation about Haskell's dangerous functions and a hlint config file to warn about them
  ☆166Updated last year
• quchen / prettyprinter
  A modern, extensible and well-documented prettyprinter.
  ☆295Updated 2 weeks ago
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆77Updated 2 years ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆204Updated 5 years ago
• lexi-lambda / freer-simple
  A friendly effect system for Haskell
  ☆228Updated 6 months ago
• mgrabmueller / TransformersStepByStep
  Tutorial on monad transformers
  ☆58Updated 2 years ago
• williamdemeo / TypeFunc
  Resources for type theory, functional programming, etc.
  ☆309Updated 3 years ago
• pigworker / CS410-17
  being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…
  ☆263Updated 6 years ago
• saurabhkukade / Haskell_Study
  Collections of papers and books about Haskell, Type Theory and Category Theory
  ☆164Updated 3 years ago
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆592Updated last month
• lettier / parsing-with-haskell-parser-combinators
  🔍 A step-by-step guide to parsing using Haskell parser combinators.
  ☆92Updated 5 years ago
• typeclasses / haskell-phrasebook
  The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
  ☆211Updated 2 years ago
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆124Updated last year
• graninas / hierarchical-free-monads-the-most-developed-approach-in-haskell
  Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell
  ☆155Updated 3 years ago
• haskell-effectful / effectful
  An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
  ☆381Updated this week