Alternatives and similar repositories for programming-in-haskell

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

• rocq-prover / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆224Updated last week
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆38Updated 3 years ago
• yuma-mizuno / lean-math-workshop
  数学系のためのLean勉強会
  ☆94Updated 5 months ago
• Quelklef / mathsproofbot
  Writing proofs to Twitter since April 2020
  ☆12Updated 3 years ago
• akabe / ocaml-jupyter
  An OCaml kernel for Jupyter (IPython) notebook
  ☆306Updated last month
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆20Updated 3 months ago
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆51Updated 4 years ago
• cpdt-japanese / cpdt-japanese
  Certified Programming with Dependent Types (Japanese Translation)
  ☆15Updated 5 years ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆81Updated 3 years ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆71Updated 3 years ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆30Updated 12 years ago
• leanprover-community / tutorials
  Some Lean tutorials
  ☆183Updated 2 years ago
• mikeshulman / basictex
  My basic LaTeX macros and BibTeX file.
  ☆14Updated 3 years ago
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆127Updated 11 months ago
• ocaml / v2.ocaml.org
  Implementation of the ocaml.org website.
  ☆320Updated 2 years ago
• nagaet / Garrigue-lecture-2018_AW
  ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)
  ☆13Updated 6 years ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆432Updated last month
• leanprover-community / lean4-metaprogramming-book
  ☆273Updated 11 months ago
• mp2i-info / mp2i-info.github.io
  Cours d'informatique en MP2I (OCaml, C, SQL)
  ☆46Updated 5 months ago
• rocq-prover / opam
  Archive for all Rocq and Coq-related opam packages organized in various repositories
  ☆160Updated last week
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆247Updated 2 weeks ago
• semigroups / Semigroups
  The GAP package Semigroups
  ☆29Updated this week
• math-comp / math-comp
  Mathematical Components
  ☆667Updated this week
• isabelle-prover / isabelle-linter
  Linter component for Isabelle.
  ☆20Updated last month
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆128Updated last month
• mmottl / ocaml-makefile
  Easy to use Makefile for small to medium-sized OCaml-projects
  ☆80Updated 6 months ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆204Updated 2 months ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆131Updated this week
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆114Updated last week
• leanprover / leanprover.github.io
  www
  ☆17Updated 2 years ago