"Lean" - top repositories on ReviewGithub

repo	techs	stars	weekly	forks	weekly
leanprover/lean4	LeanC++CMake	2.2k	+14	206	+2
leanprover-community/mathlib	LeanOther	1.5k	+1	285	+1
input-output-hk/cardano-wallet	HaskellRubyMarkdown	696	0	220	0
ImperialCollegeLondon/formalising-mathematics-2022	Lean	105	0	25	0
openai/lean-gym	LeanShell	98	0	22	0
openai/miniF2F	Objective-C++IsabelleLean	183	0	34	0
leanprover-community/lean-liquid	LeanOther	116	0	10	0
leanprover-community/tutorials	LeanPython	163	0	58	0
igithublab/MT1300	LeanShell	63	0	90	0
IPDSnelting/tba-2022	Lean	8	0	2	0
arthurpaulino/lean4-metaprogramming-book	LeanPython	99	0	23	0
leanprover-community/mathlib4	LeanOther	175	0	72	0
yatima-inc/yatima-lang	Lean	49	0	2	0
Faris999/indonesian-mo-formalization	Lean	2	0	2	0
zhangir-azerbayev/lean-chat	LeanPython	42	0	5	0
yatima-inc/straume	Lean	5	0	1	0
leanprover-community/lftcm2020	LeanTeXPython	59	0	76	0
ImperialCollegeLondon/natural_number_game	LeanHTMLOther	257	0	69	0
plfa/plfl	Lean	9	0	4	0
leanprover/lean4-samples	LeanCSSJavaScript	30	0	9	0
AndrasKovacs/smalltt	LeanIdrisAgda	436	0	23	0
BartoszPiotrowski/lean-premise-selection	LeanTypeScriptShell	10	0	0	0
leanprover/std4	Lean	65	0	26	0
PatrickMassot/lean-verbose	Lean	50	0	1	0
brendanzab/language-garden	OCamlNixLean	101	0	2	0

Lean