system-f / fp-course

Related projects ⓘ

Alternatives and complementary repositories for fp-course

• sdiehl / wiwinwlh
  What I Wish I Knew When Learning Haskell
  ☆2,568Updated 2 years ago
• Gabriella439 / post-rfc
  Blog post previews in need of peer review
  ☆2,199Updated last year
• tonymorris / fp-course
  Functional Programming Course
  ☆1,026Updated last year
• sdiehl / write-you-a-haskell
  Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
  ☆3,351Updated 3 years ago
• jozefg / learn-tt
  A collection of resources for learning type theory and type theory adjacent fields.
  ☆2,166Updated 2 months ago
• hmemcpy / milewski-ctfp-pdf
  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
  ☆11,015Updated last month
• qfpl / applied-fp-course
  Applied Functional Programming Course - Move from exercises to a working app!
  ☆626Updated last year
• quchen / articles
  Miscellaneous articles. The readme is the table of contents.
  ☆1,251Updated last year
• google / haskell-trainings
  Haskell 101 and 102: slides and codelabs
  ☆1,387Updated last year
• bitemyapp / learnhaskell
  Learn Haskell
  ☆7,979Updated last year
• caiorss / Functional-Programming
  Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
  ☆2,688Updated 5 years ago
• cohomolo-gy / haskell-resources
  A List of Foundational Haskell Papers
  ☆864Updated last week
• dmjio / miso
  A tasty Haskell front-end framework
  ☆2,193Updated this week
• haskell-servant / servant
  Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
  ☆1,827Updated last month
• tssm / up-to-date-real-world-haskell
  I'm trying to update the Real World Haskell book
  ☆792Updated last year
• bitemyapp / fp-course
  Fork of the original Data61 course to be more Stack friendly
  ☆439Updated 3 years ago
• hzlmn / haskell-must-watch
  Huge list of videos, talks, courses for Haskell programming language.
  ☆1,126Updated 7 years ago
• graninas / software-design-in-haskell
  Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
  ☆1,083Updated last month
• krispo / awesome-haskell
  A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
  ☆3,101Updated last year
• idris-lang / Idris-dev
  A Dependently Typed Functional Programming Language
  ☆3,436Updated 3 months ago
• haskell / haskell-ide-engine
  The engine for haskell ide-integration. Not an IDE
  ☆2,380Updated 3 years ago
• ekmett / lens
  Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
  ☆2,032Updated last week
• soupi / haskell-study-plan
  An opinionated list of resources for learning Haskell
  ☆877Updated 2 years ago
• yesodweb / yesod
  A RESTful Haskell web framework built on WAI.
  ☆2,638Updated 2 months ago
• typelead / eta
  The Eta Programming Language, a dialect of Haskell on the JVM
  ☆2,607Updated 2 years ago
• commercialhaskell / stack
  The Haskell Tool Stack
  ☆3,996Updated this week
• steshaw / plt
  Programming Language Theory λΠ
  ☆5,236Updated last year
• IHaskell / IHaskell
  A Haskell kernel for the Jupyter project.
  ☆2,602Updated this week
• ghcjs / ghcjs
  Haskell to JavaScript compiler, based on GHC
  ☆2,606Updated last year
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,372Updated this week