HoTT Alternatives
Similar projects and alternatives to HoTT based on common topics and language



Scout APM
Scout APM: A developer's best friend. Try free for 14days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.






SaaSHub
SaaSHub  Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Posts

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 nonfoundational work present (what I assume you mean by "results") in these libraries are basic properties of basic mathematical concepts being rebuilt on HoTT.

What is the benefit of using a text editor like MikTex, Texmaker, etc. over Overleaf?
The major one for me is version control (git). Imaging having to write a book like HoTT without having revisions and easy way to work on your changes without interfering with anyone else's work and then easily merging everything together.
Stats
HoTT/HoTT is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.