Alternatives and similar repositories for programming-in-haskell

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

• cpdt-japanese / cpdt-japanese
  Certified Programming with Dependent Types (Japanese Translation)
  ☆15Updated 5 years ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• rocq-prover / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆224Updated last week
• clarksmr / sf-lectures
  Software Foundations
  ☆151Updated last year
• rocq-community / hydra-battles
  Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…
  ☆81Updated last year
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆131Updated this week
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆38Updated 3 years ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆30Updated 12 years ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• prismplp / prism
  probabilistic logic programming language for statistical modeling
  ☆38Updated last month
• nagaet / Garrigue-lecture-2018_AW
  ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)
  ☆13Updated 6 years ago
• aws / aws-encryption-sdk
  AWS Encryption SDK
  ☆58Updated this week
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆30Updated 3 weeks ago
• yuma-mizuno / lean-math-workshop
  数学系のためのLean勉強会
  ☆94Updated 5 months ago
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆127Updated 11 months ago
• miciek / grokkingfp-examples
  All examples and exercises from the Grokking Functional Programming book
  ☆173Updated 10 months ago
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆175Updated 4 years ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆432Updated last month
• smlsharp / smlsharp
  SML# compiler
  ☆246Updated 2 months ago
• luminousmen / grokking_concurrency
  "Grokking Concurrency" book code examples
  ☆132Updated 2 months ago
• texjporg / ptex-manual
  Japanese pTeX Manual
  ☆23Updated 2 months ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆66Updated 2 years ago
• ganeshutah / Jove
  ☆73Updated last month
• leanprover / leanprover.github.io
  www
  ☆17Updated 2 years ago
• marshall-lee / software_foundations
  My solutions to Software Foundations course in Coq proof assistant.
  ☆43Updated 5 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆81Updated 3 years ago
• akira08280 / programming-in-haskell
  Programming in Haskell by Graham Hutton, 2nd edition.
  ☆18Updated 8 years ago
• math-comp / math-comp
  Mathematical Components
  ☆667Updated this week
• msakai / toysolver
  My sandbox for experimenting with solver algorithms.
  ☆158Updated last week