Reid Barton's repositories
advent-of-lean-4
Advent of Code 2020 solutions in Lean 4
lean-homotopy-theory
A development of homotopy theory in the Lean formal theorem prover.
lean-elementary-number-theory
Ancient Lean proof of FLT for n=4
cubical
An experimental library for Cubical Agda
ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org)
hott3
HoTT in Lean 3
lean-1
Lean Theorem Prover
lean-category-theory
An experimental category theory library for Lean
lean-mode
Emacs mode for Lean
lean4
Lean 4 programming language and theorem prover
lean4-test
A trivial Lean 4 package to test dependencies.
mathlib
Lean mathematical components library
packages-hpc
Mirror of packages-hpc repository. DO NOT SUBMIT PULL REQUESTS HERE
pygments-lean3-plugin
Pygments lexer plugin for Lean 3
std4
Standard Library for Lean 4
zulip
Zulip server - powerful open source group chat