"lean" - top repositories on ReviewGithub

repo	techs	stars	weekly	forks	weekly
FongMi/TV	JavaJavaScriptCSS	2k	+30	911	+12
leanprover/lean4	LeanC++CMake	2.8k	+15	251	+2
leanprover-community/mathlib4	LeanPythonShell	350	+5	140	+1
leanprover-community/mathlib	LeanOther	1.6k	+4	303	0
JLimperg/aesop	LeanShell	88	+2	14	0
lean-dojo/LeanInfer	LeanC++Shell	27	+2	1	0
mo271/formal_book	Lean	29	+1	4	0
EdAyers/ProofWidgets4	LeanTypeScriptTeX	56	+1	10	0
leanprover-community/lean4-metaprogramming-book	LeanPython	145	+1	33	+1
QuantConnect/Lean	C#PythonJupyter Notebook	7.9k	0	3k	0
sparanoid/chinese-copywriting-guidelines		13.2k	0	1.8k	0
leanote/leanote	JavaScriptGoCSS	11.3k	0	2.5k	0
arthurpaulino/lean4-metaprogramming-book	LeanPython	145	0	33	0
Leantime/leantime	PHPCSSJavaScript	3k	0	450	0
leanprover/lean4-samples	LeanCSSJavaScript	61	0	19	0
Digital-Forensics-Discord-Server/TheHitchhikersGuidetoDFIRExperiencesFromBeginnersandExperts	Ruby	172	0	21	0
leanprover/std4	Lean	119	0	45	0
geerlingguy/ansible-for-devops	PythonJinjaLua	7.5k	0	3.2k	0
EdAyers/WidgetKit	LeanTypeScriptTeX	56	0	10	0
ohjelmistotuotanto-hy/ohjelmistotuotanto-hy.github.io	SCSSHTMLRuby	5	0	85	0
0art0/lean3-statement-translation-tool	Lean	7	0	0	0
risc0/risc0-lean4	LeanRust	31	0	2	0
leanprover/lake	LeanShellOther	95	0	20	0
gebner/quote4	LeanMakefile	52	0	8	0
rami3l/plfl	Lean	28	0	2	0

lean