Alternatives and similar repositories for programming-in-haskell:

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

• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 8 years ago
• AFPChalmers15 / AFPcourse
  http://www.cse.chalmers.se/edu/course/afp/
  ☆11Updated 9 years ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆32Updated 6 years ago
• leanprover / tutorial
  Lean Tutorials
  ☆44Updated 4 years ago
• ajtulloch / haskell-ml
  Haskell implementations of various ML algorithms.
  ☆57Updated 10 years ago
• coq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆165Updated 4 months ago
• andrejbauer / Homotopy
  Homotopy theory in Coq.
  ☆92Updated 13 years ago
• emk / haskell-probability-monads
  Composable probability monads in Haskell.
  ☆22Updated 9 years ago
• coq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆113Updated last month
• mstksg / inCode
  Source for personal blog.
  ☆77Updated this week
• uroboros / haskell_design_patterns
  Code bundle for "Haskell Design Patterns" book
  ☆18Updated 9 years ago
• mstksg / tensor-ops
  Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
  ☆59Updated 7 years ago
• HIPERFIT / contracts
  Symbolic financial contract EDSL
  ☆38Updated 4 years ago
• PacktPublishing / Haskell-High-Performance-Programming
  Haskell high Performance Programming, published by Packt
  ☆43Updated 2 years ago
• jwiegley / coq-haskell
  A library for formalizing Haskell types and functions in Coq
  ☆168Updated last year
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆72Updated 12 years ago
• arthuraa / poleiro
  A blog about Coq
  ☆47Updated 2 years ago
• aistrate / Okasaki
  Code from the book "Purely Functional Data Structures" by Chris Okasaki (both original and my own solutions to the exercises, in Haskell)
  ☆35Updated 15 years ago
• snowleopard / hadrian
  Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!
  ☆207Updated 6 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆165Updated 4 years ago
• txkaduo / weixin-mp-sdk
  微信公众平台服务器开发工具
  ☆10Updated last year
• DataHaskell / data-haskell-examples
  Examples of data analysis in Haskell
  ☆19Updated 7 years ago
• cyga / real-world-haskell
  parser for code samples from the book "real world haskell" (http://book.realworldhaskell.org/read/)
  ☆89Updated 8 years ago
• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆186Updated 8 months ago
• walkie / Hagl
  A Haskell DSEL for experimental game theory.
  ☆36Updated 2 years ago
• idris-hackers / idris-crypto
  Implementation of cryptographic primitives using Idris
  ☆121Updated 6 years ago
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆63Updated 2 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆72Updated 4 years ago
• neongreen / haskell-ex
  (ARCHIVED) Haskell exercises I wrote for Haskell Learning Group
  ☆48Updated 7 years ago
• markokoleznik / agda-writer
  A simple GUI for Agda
  ☆31Updated 9 years ago