Alternatives and similar repositories for CSE232-2021-09:

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

• RyanGlScott / ghc-software-foundations
  The Software Foundations book, in GHC
  ☆82Updated 2 months ago
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆64Updated 7 years ago
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆117Updated 2 years ago
• msp-strath / TypOS
  being an operating system for typechecking processes
  ☆124Updated last year
• bgamari / b-tree
  Haskell on-disk B* tree implementation
  ☆116Updated 3 years ago
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆72Updated 2 weeks ago
• dfithian / dfdb
  Write my own database from scratch
  ☆15Updated 3 years ago
• teach-plt / plt-errata
  Collection of errata for book Aarne Ranta, Implementing Programming Languages
  ☆12Updated 2 years ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆89Updated last month
• google / mlir-hs
  Haskell bindings for MLIR
  ☆106Updated last week
• TyGuS / hoogle_plus
  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
  ☆60Updated last year
• paigenorth / oplss
  Resources for my Homotopy Type Theory course at OPLSS 2023
  ☆10Updated last year
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆82Updated 6 months ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆26Updated 4 years ago
• bgamari / io-uring
  A simple set of io-uring bindings in Haskell
  ☆28Updated 4 years ago
• ZHaskell / z-data
  array, slices and text
  ☆70Updated 8 months ago
• ezyang / pl-class-public
  Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages
  ☆37Updated 2 years ago
• BartoszMilewski / DeepLearning
  Neural networks using parametric prelenses and Trimbara modules
  ☆33Updated 11 months ago
• cronburg / antlr-haskell
  A language parsing quasiquoter for Haskell based heavily on ANTLR4.
  ☆51Updated 4 years ago
• TravisWhitaker / libglaswegian
  Use GHC's Memory Allocator from C
  ☆10Updated 5 years ago
• CatTheoryByExample / book
  The category theory by example book
  ☆58Updated last year
• tlaplus-community / tlauc
  Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
  ☆32Updated 2 months ago
• pigworker / CS410-18
  being the teaching materials and exercises for CS410 in the 2018/19 session
  ☆56Updated 5 years ago
• awodey / math
  Mathematical notes and papers
  ☆25Updated last month
• cedille / ial
  The Iowa Agda Library
  ☆47Updated 3 months ago
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆124Updated 3 years ago
• bkomuves / toy-language-server
  Example language server (LSP) implementation for a toy language
  ☆60Updated 3 years ago
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆68Updated 4 months ago
• bobatkey / CS316-2020
  The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
  ☆24Updated 3 years ago
• stevana / property-based-testing-stateful-systems-tutorial
  A tutorial about how to apply property-based testing to stateful systems.
  ☆70Updated 2 years ago