Alternatives and similar repositories for doing-it-right

Users that are interested in doing-it-right are comparing it to the libraries listed below

• mrg20 / git-guide-for-dummies
  ☆8Updated 2 years ago
• bravit / hid-examples
  Examples to accompany the book "Haskell in Depth"
  ☆261Updated 2 months ago
• mfine / heroku-buildpack-stack
  Haskell Stack support for Heroku
  ☆231Updated 11 months ago
• i-am-tom / haskell-exercises
  A little course to learn about some of the more obscure GHC extensions.
  ☆650Updated last year
• cohomolo-gy / haskell-resources
  A List of Foundational Haskell Papers
  ☆873Updated 7 months ago
• mtzguido / intro-verif-24
  Repositorio de la optativa para la FCEIA
  ☆16Updated 2 months ago
• yallop / effects-bibliography
  A collaborative bibliography of work related to the theory and practice of computational effects
  ☆1,061Updated 2 months ago
• austinvhuang / awesome-haskell-deep-learning
  In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.
  ☆293Updated 3 years ago
• polysemy-research / polysemy
  higher-order, no-boilerplate monads
  ☆1,055Updated 3 months ago
• graninas / software-design-in-haskell
  Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
  ☆1,092Updated 6 months ago
• snowleopard / alga
  Algebraic graphs
  ☆739Updated last month
• montali / MLEngineerSummary
  Everything a Machine Learning Engineer needs to know, from statistics, probability theory, ML, DL and AI.
  ☆22Updated 3 years ago
• eckyputrady / haskell-scotty-realworld-example-app
  Exemplary real world backend API built with Haskell/Scotty https://realworld.io
  ☆210Updated 5 years ago
• Holmusk / three-layer
  Architecture of the Haskell web applications
  ☆309Updated 4 years ago
• qfpl / applied-fp-course
  Applied Functional Programming Course - Move from exercises to a working app!
  ☆634Updated last year
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆509Updated last year
• cedille / cedille
  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
  ☆378Updated last year
• ceticamarco / rhino
  🦏 Simple markup language for building static websites
  ☆21Updated 2 months ago
• graninas / Functional-Design-and-Architecture
  Code and materials for my book "Functional Design and Architecture"
  ☆517Updated 6 months ago
• alpacaaa / zero-bs-haskell
  Learn Haskell, with tiny lessons.
  ☆565Updated 3 years ago
• graninas / The-Voids-Of-Haskell
  ☆254Updated last month
• riccardotommasini / ppl
  This repository contains the material related to the practical classes of the course Principles of Programming Languages
  ☆29Updated 6 years ago
• IHaskell / learn-you-a-haskell-notebook
  Jupyter adaptation of Learn You a Haskell for Great Good!
  ☆301Updated last month
• tssm / up-to-date-real-world-haskell
  I'm trying to update the Real World Haskell book
  ☆789Updated last year
• statebox / idris-ct
  formally verified category theory library
  ☆263Updated 5 years ago
• higherkindness / mu-haskell
  Mu (μ) is a purely functional framework for building micro services.
  ☆334Updated 10 months ago
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,435Updated this week
• agda / agda-categories
  A new Categories library for Agda
  ☆382Updated this week
• soupi / haskell-study-plan
  An opinionated list of resources for learning Haskell
  ☆911Updated 3 years ago
• GPurgatorio / Master-Computer-Science-ICT
  ☆10Updated 3 years ago