Alternatives and similar repositories for real-world-haskell:

Users that are interested in real-world-haskell are comparing it to the libraries listed below

• bravit / hid-examples
  Examples to accompany the book "Haskell in Depth"
  ☆260Updated 4 months ago
• willbasky / Awesome-list-of-Haskell-mentors
  An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.
  ☆171Updated 2 years ago
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆224Updated 2 weeks ago
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆73Updated 2 years ago
• mgrabmueller / TransformersStepByStep
  Tutorial on monad transformers
  ☆60Updated 3 years ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆30Updated 3 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆297Updated last year
• Avi-D-coder / implicit-hie
  Auto generate a stack or cabal multi component hie.yaml file
  ☆207Updated last year
• simonmar / parconc-examples
  Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
  ☆356Updated 2 weeks ago
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆104Updated 3 years ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆185Updated 2 weeks ago
• RobertHarper / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆53Updated 4 years ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆175Updated last week
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆142Updated last year
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆118Updated last month
• UniMath / agda-unimath
  The agda-unimath library
  ☆247Updated last week
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆124Updated 3 years ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆152Updated last month
• MondayMorningHaskell / Monads
  ☆20Updated 4 years ago
• bendoerr / real-world-haskell
  My solutions to exercises in the book Real World Haskell by Bryan O'Sullivan, John Goerzen & Don Stewart.
  ☆33Updated 12 years ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆94Updated 3 weeks ago
• martinescardo / HoTT-UF-Agda-Lecture-Notes
  Lecture notes on univalent foundations of mathematics with Agda
  ☆226Updated 11 months ago
• derekelkins / agda-vim
  Agda interaction in vim
  ☆131Updated 3 years ago
• agda / agda-categories
  A new Categories library for Agda
  ☆376Updated last week
• NorfairKing / haskell-dangerous-functions
  Documentation about Haskell's dangerous functions and a hlint config file to warn about them
  ☆178Updated last month
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆289Updated last year
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆113Updated last week
• m4dc4p / cheatsheet
  A Haskell CheatSheet in PDF and literate source formats.
  ☆269Updated last year
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆124Updated 4 years ago
• goldfirere / singletons
  Fake dependent types in Haskell using singletons
  ☆290Updated last month