hott3
HoTT in Lean 3 (by gebner)
Leantime
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind. (by Leantime)
Our great sponsors
| hott3 | Leantime | |
|---|---|---|
| 2 | 49 | |
| 72 | 4,037 | |
| - | 3.6% | |
| 1.8 | 9.9 | |
| over 3 years ago | 2 days ago | |
| Lean | PHP | |
| Apache License 2.0 | GNU Affero General Public License v3.0 |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
hott3
Posts with mentions or reviews of hott3.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-12-11.
-
The HoTT Game
Lean 3 introduced singleton-elimination which is inconsistent with HoTT. There's a project [0] that uses an attribute to restrict uses of that rule, but it isn't really ergonomic to use.
-
Homotopy Type Theory
HoTT is somewhat independent of the choice of proof assistant.
Coq: https://github.com/HoTT/HoTT
Lean: https://github.com/gebner/hott3
idk what you mean by "blue screened", or results being on the way. afaict most of the non-foundational work present (what I assume you mean by "results") in these libraries are basic properties of basic mathematical concepts being rebuilt on HoTT.
Leantime
Posts with mentions or reviews of Leantime.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-10-10.
- Leantime: Project Management System for People with ADHD
- Open Source Jira Alternative Leantime Releases 3.0
- Leantime – Project Management suite for the non project manager
- FLaNK Stack Weekly 09 Oct 2023
- Leantime: Open-Source Monday.com Alternative
-
Please help me (uni student) find an app? Note-taking with specific info management needs
Leantime
-
What are your favorite productivity apps or technical shortcuts that you use as a PM? (Beyond Ado or jira)
Leantime (https://leantime.io). It connects strategy boards to execution and is focused on being really easy to use.
-
Open source multi tenant project management solutions
I don't know if these are multi-tenant projects but you could certainly explore them: leantime.io and openproject.org.
-
What is the best time track application?
I use Leantime for home projects. It is fantastic. It is a huge mix of time tracking, task tracking, and project management.
- Software Engineer for you