Alternatives and similar repositories for CSE232-2021-09

Users that are interested in CSE232-2021-09 are comparing it to the libraries listed below

• bgamari / b-tree
  Haskell on-disk B* tree implementation
  ☆116Updated 3 years ago
• zerokarmaleft / tapl-haskell
  Types and Programming Languages
  ☆37Updated 11 years ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆106Updated last month
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆65Updated 7 years ago
• typeclasses / haskell-phrasebook
  The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
  ☆218Updated 3 years ago
• stevana / property-based-testing-stateful-systems-tutorial
  A tutorial about how to apply property-based testing to stateful systems.
  ☆79Updated 2 years ago
• CatTheoryByExample / book
  The category theory by example book
  ☆59Updated 2 years ago
• awakesecurity / spectacle
  Embedded specification language & model checker in Haskell
  ☆174Updated 4 months ago
• RyanGlScott / ghc-software-foundations
  The Software Foundations book, in GHC
  ☆83Updated 8 months 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…
  ☆264Updated 7 years ago
• awalterschulze / category-theory-for-programmers-challenges
  Challenges from Category Theory for Programmers
  ☆127Updated 10 months ago
• 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
  ☆156Updated 4 years ago
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆118Updated 2 years ago
• dfithian / dfdb
  Write my own database from scratch
  ☆18Updated 3 years ago
• teach-plt / plt-errata
  Collection of errata for book Aarne Ranta, Implementing Programming Languages
  ☆12Updated 5 months ago
• mit-pdos / perennial
  Verifying concurrent crash-safe systems
  ☆200Updated last week
• facebookincubator / hsthrift
  The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift proj…
  ☆156Updated this week
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆161Updated 4 years ago
• utdemir / distributed-dataset
  A distributed data processing framework in Haskell.
  ☆116Updated 5 years ago
• sweirich / dth
  Examples of Dependently-typed programs in Haskell
  ☆307Updated 2 years ago
• edwinb / SPLV20
  SPLV20 course notes
  ☆112Updated 2 years ago
• rrnewton / haskell-lockfree
  A collection of different packages for CAS based data structures.
  ☆110Updated last year
• fredrikNordvallForsberg / CS410-22
  being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session
  ☆17Updated 2 years ago
• uwplse / verdi-raft
  An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  ☆189Updated last year
• bobatkey / CS316-19
  The 2019/2020 edition of Strathclyde's CS316 Functional Programming course
  ☆41Updated 5 years ago
• tdp2110 / HaskellTiger
  Modern Compiler Implementation in ML, in Haskell
  ☆20Updated 4 years ago
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆145Updated 5 months ago
• penkovsky / 10-days-of-grad
  Neural Networks and Deep Learning
  ☆33Updated last year
• sassela / haskell-learning
  Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.
  ☆137Updated 4 years ago
• ZHaskell / z-data
  array, slices and text
  ☆70Updated last year