Alternatives and similar repositories for cis194-IntroductionToHaskell

Users that are interested in cis194-IntroductionToHaskell are comparing it to the libraries listed below

• bitemyapp / fp-course
  Fork of the original Data61 course to be more Stack friendly
  ☆449Updated 4 years ago
• hatashiro / monkey-hs
  An interpreter for Monkey with parser combinator written in Haskell
  ☆50Updated 6 years ago
• g-ford / cradle
  Let's Build a Compiler (in Haskell)
  ☆173Updated 5 years ago
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆85Updated 4 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆167Updated 4 years ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆162Updated 5 years ago
• wh5a / Algorithm-W-Step-By-Step
  Classic Algorithm W for type inference.
  ☆256Updated 15 years ago
• awalterschulze / category-theory-for-programmers-challenges
  Challenges from Category Theory for Programmers
  ☆127Updated last year
• HaskellCNOrg / haskellcn
  home page
  ☆75Updated 3 years ago
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆228Updated 10 months ago
• Ailrun / core-lang-haskell
  Implementation for the book <Implementing functional languages: a tutorial>
  ☆33Updated 6 years ago
• edwinb / TypeDD-Samples
  Sample code from "Type Driven Development with Idris"
  ☆164Updated 8 years ago
• Risto-Stevcev / haskell-church-encodings
  Church encodings written in Haskell
  ☆25Updated 6 years ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆156Updated last month
• zerokarmaleft / tapl-haskell
  Types and Programming Languages
  ☆37Updated 11 years ago
• wkoszek / book-real-world-haskell
  Real World Haskell Source Code
  ☆52Updated 2 years ago
• bschwb / cis194-solutions
  Solutions for CIS 194 - Spring 2013
  ☆133Updated 4 years ago
• mgrabmueller / TransformersStepByStep
  Tutorial on monad transformers
  ☆64Updated 4 years ago
• jxv / dino-rush
  🌋 Endless runner game
  ☆196Updated 4 years ago
• Mzk-Levi / texts
  ☆173Updated 10 years ago
• prikhi / modern-compiler-implementation-ml
  Tiger Compiler from Modern Compiler Implementation in ML
  ☆23Updated 8 years ago
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆120Updated 4 years ago
• MPRI / M2-4-2
  Functional programming and type systems
  ☆131Updated 10 years ago
• kgeorgiy / okasaki
  Solutions for Okasaki's "Purely functional data structures" book
  ☆46Updated 12 years ago
• bravit / tt-ghc-exercises
  ☆28Updated 7 years ago
• zachhalle / hotc
  Notes on higher-order typed compilation. Probably wrong
  ☆23Updated 3 years ago
• AllAlgorithms / haskell
  Implementation of All ▲lgorithms in Haskell Programming Language
  ☆45Updated 3 years ago
• soupi / rfc
  My slides and compilation of resources.
  ☆159Updated last year
• justinethier / husk-scheme
  A full implementation of the Scheme programming language for the Haskell Platform.
  ☆316Updated 2 years ago
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆74Updated 7 years ago