GitHub repo leaderboard by stars, growth rate and activity.

• Leantime

  #1Leantime/leantime

  Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.

  PHP11,557 starslast pushed 3 days ago
• leanprover

  #2leanprover/lean4

  Lean 4 programming language and theorem prover

  Lean9,110 starslast pushed 3 hours ago
• crbnos

  #3crbnos/carbon

  Carbon is an open source ERP, MES and QMS for manufacturing. Perfect for complex assembly, contract manufacturing, high volume, and configure to order manufacturing.

  TypeScript2,398 starslast pushed 3 hours ago

#	Repo	Language	Stars	30-day trend	Last updated
1	Leantime Leantime/leantime Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.	PHP	11,557		last pushed 3 days ago
2	leanprover leanprover/lean4 Lean 4 programming language and theorem prover	Lean	9,110	—	last pushed 3 hours ago
3	crbnos crbnos/carbon Carbon is an open source ERP, MES and QMS for manufacturing. Perfect for complex assembly, contract manufacturing, high volume, and configure to order manufacturing.	TypeScript	2,398		last pushed 3 hours ago

All · 11,658