Alternatives and similar repositories for realworld-haskell

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

• prosyslab-classroom / hardcore-ocaml
  ☆16Updated 9 months ago
• plwiki / plwiki.github.io
  ☆36Updated 2 months ago
• KiJeong-Lim / portfolio
  My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional …
  ☆14Updated this week
• damhiya / Coq-tips
  ☆10Updated 2 years ago
• damhiya / MetaLambda
  ☆14Updated last year
• err0r500 / realworld-app-simple-haskell
  TDD with Clean Architectecture (aka Hexagonal, Ports & adapter) in Haskell
  ☆47Updated 3 years ago
• Lunuy / agda-introduction-korean
  수학 증명언어 Agda 입문
  ☆12Updated 2 years ago
• kwanghoon / Lecture_EOPL
  EOPL in Haskell
  ☆22Updated 2 months ago
• 9beach / hanspell-hs
  (주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용한 한글 맞춤법 검사기.
  ☆26Updated 2 years ago
• nodew / haskell-realworld-example
  A Haskell implementation of realworld.io
  ☆55Updated last year
• mariatsji / type-depict
  Haskell Expression Visualizer
  ☆13Updated 3 years ago
• kwanghoon / Lecture_EOPL_Exercise
  Exercises for EOPL in Haskell
  ☆10Updated 9 months ago
• graninas / Hydra
  Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.
  ☆203Updated last year
• tzemanovic / haskell-yesod-realworld-example-app
  Exemplary real world application built with Haskell + Yesod
  ☆169Updated 4 years ago
• Tehnix / MobileHaskellFun
  Project set up for playing around with mobile haskell
  ☆14Updated 7 years ago
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆158Updated 2 years ago
• PnVDiscord / software-foundations-lean
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆25Updated 2 months ago
• thma / PolysemyCleanArchitecture
  Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture mo…
  ☆193Updated 2 years ago
• campezzi / haskell-ddd
  Random DDD related things in Haskell
  ☆49Updated 8 years ago
• prosyslab / pl-wiki
  ☆48Updated last month
• PnVDiscord / PnVRocqLib
  📝 A Rocq library written by members of PnV Discord Server
  ☆16Updated last week
• Apress / practical-webdev-haskell
  Source Code for 'Practical Web Development with Haskell' by Ecky Putrady
  ☆37Updated 7 years ago
• NorfairKing / haskell-dangerous-functions
  Documentation about Haskell's dangerous functions and a hlint config file to warn about them
  ☆186Updated 10 months ago
• guersam / kcd2019
  ☆10Updated 6 years ago
• green-labs / garter
  그린랩스 표준 ReScript 라이브러리
  ☆36Updated last month
• reubenharry / haskell-docs
  ☆58Updated 2 years ago
• chiroptical / thinking-with-types
  Working through the Thinking with Types book in Haskell
  ☆34Updated 5 years ago
• rpeszek / notes-milewski-ctfp-hs
  Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
  ☆33Updated 6 years ago
• graninas / Andromeda
  ☆79Updated last year
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆47Updated 2 years ago