Alternatives and similar repositories for programming-in-haskell

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

• leanprover / lean-action
  GitHub action for standard CI in Lean projects
  ☆21Updated this week
• TheAlgorithms / Haskell
  ☆400Updated last year
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆46Updated 3 years ago
• rocq-prover / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆205Updated 2 weeks ago
• Quelklef / mathsproofbot
  Writing proofs to Twitter since April 2020
  ☆11Updated 3 years ago
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆39Updated last month
• isabelle-prover / isabelle-linter
  Linter component for Isabelle.
  ☆19Updated 2 months ago
• yuma-mizuno / lean-math-workshop
  数学系のためのLean勉強会
  ☆83Updated last year
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆28Updated last week
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆37Updated 3 years ago
• FormalizedFormalLogic / Foundation
  Formalization of Mathematical Logic
  ☆142Updated this week
• MarcdeFalco / MarcdeFalco.github.io
  ☆1Updated 2 years ago
• ctasims / The-C-Programming-Language--Kernighan-and-Ritchie
  Exercises and Learning from The C Programming Language, by Kernighan and Ritchie
  ☆14Updated 3 years ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated 10 months ago
• leanprover-community / tutorials
  Some Lean tutorials
  ☆184Updated last year
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆108Updated 3 weeks ago
• mikeshulman / basictex
  My basic LaTeX macros and BibTeX file.
  ☆13Updated 2 years ago
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆221Updated this week
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 5 years ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆79Updated 3 years ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• ncatlab / nlab
  Source code for the nLab
  ☆178Updated 4 months ago
• leanprover / vscode-lean
  Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…
  ☆115Updated 3 months ago
• gap-system / homebrew-gap
  Homebrew tap for GAP
  ☆15Updated last year
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆160Updated 2 weeks ago
• rocq-community / hydra-battles
  Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…
  ☆79Updated 6 months ago
• k16shikano / xml2tex
  one-off xml-to-latex-converter generator
  ☆40Updated last year
• rocq-prover / opam
  Archive for all Rocq and Coq-related opam packages organized in various repositories
  ☆145Updated this week
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆29Updated 3 years ago
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆78Updated last week