Leantime/leantime
Leantime is a strategic project management system for non-project managers.
Language: PHP
Total stars: 2798
Stars trend:
9 Oct 2023
#php
#agile, #asana, #calendar, #clickup, #gantt, #hacktoberfest, #jira, #kanban, #lean, #leantime, #notion, #php, #projectmanagement, #projects, #retrospective, #scrum, #sql, #strategy, #timesheets, #trello
Leantime is a strategic project management system for non-project managers.
Language: PHP
Total stars: 2798
Stars trend:
9 Oct 2023
1pm ▏ +1
2pm ██▉ +23
3pm ████▍ +35
4pm ███▋ +29
5pm ███▍ +27
6pm ███▏ +25
7pm ███▍ +27
8pm ██▋ +21
9pm ██▎ +18
#php
#agile, #asana, #calendar, #clickup, #gantt, #hacktoberfest, #jira, #kanban, #lean, #leantime, #notion, #php, #projectmanagement, #projects, #retrospective, #scrum, #sql, #strategy, #timesheets, #trello
google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
Language:Lean
Total stars: 130
Stars trend:
#lean
#formalmathematics, #lean4
A collection of formalized statements of conjectures in Lean.
Language:Lean
Total stars: 130
Stars trend:
28 May 2025
4pm ▎ +2
5pm ▍ +3
6pm ▋ +5
7pm █▋ +13
8pm █▎ +10
9pm ▉ +7
10pm █▎ +10
11pm █▍ +11
29 May 2025
12am ▊ +6
1am ▊ +6
2am █▏ +9#lean
#formalmathematics, #lean4
teorth/analysis
A Lean companion to Analysis I
Language:Lean
Total stars: 140
Stars trend:
#lean
A Lean companion to Analysis I
Language:Lean
Total stars: 140
Stars trend:
31 May 2025
10pm ▊ +6
11pm ▌ +4
1 Jun 2025
12am ▌ +4
1am ▋ +5
2am ▍ +3
3am █▋ +13
4am ▉ +7
5am ▋ +5
6am █▏ +9
7am ▉ +7
8am ▎ +2
9am █▉ +15#lean