cmu-l3 / llmlean

LLMs + Lean, on your laptop or in the cloud

Date Created 2024-03-31 (10 months ago)
Commits 66 (last one 3 months ago)
Stargazers 134 (0 this week)
Watchers 5 (0 this week)
Forks 19
License mit
Ranking

RepositoryStats indexes 616,861 repositories, of these cmu-l3/llmlean is ranked #246,285 (60th percentile) for total stargazers, and #339,381 for total watchers. Github reports the primary language for this repository as Lean, for repositories using this language it is ranked #26/131.

Star History

Github stargazers over time

140140120120100100808060604040202000May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Watcher History

Github watchers over time, collection started in '23

55554444443333Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Recent Commit History

66 commits on the default branch (main) since jan '22

707060605050404030302020101000Apr '24Apr '24May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Yearly Commits

Commits to the default branch (main) per year

70706060505040403030202010100020242024

Issue History

Total Issues
Open Issues
Closed Issues
1111110.50.5000000Oct '24Oct '2415 Oct15 OctNov '24Nov '2415 Nov15 NovDec '24Dec '2415 Dec15 DecJan '25Jan '2515 Jan15 JanFeb '25Feb '2515 Feb15 Feb

Languages

The only known language in this repository is Lean

LeanLean

updated: 2025-02-09 @ 11:33pm, id: 780087624 / R_kgDOLn8xSA