Hott3 Alternatives

Similar projects and alternatives to hott3 based on common topics and language

HoTT

1 1,008 9.5 Coq hott3 VS HoTT

Homotopy type theory
cubical

1 257 9.4 Agda hott3 VS cubical

An experimental library for Cubical Agda
Scout APM

scoutapm.com
sponsored

Scout APM: A developer's best friend. Try free for 14-days. 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.
mathlib

0 947 10.0 Lean hott3 VS mathlib

Lean mathematical components library
lean

0 1,915 0.0 C++ hott3 VS lean

Lean Theorem Prover (by leanprover)
Leantime

0 861 8.4 PHP hott3 VS Leantime

Leantime is a lean project management system for innovators. Designed to help you manage your projects from ideation to delivery.
trepplein

0 14 1.9 Scala hott3 VS trepplein

Lean type-checker written in Scala.
eAndon

0 1 5.5 Visual Basic .NET hott3 VS eAndon

Implementation of an electronic Andon system to visualize problems in a production company.
Nanos

github.com/nanovms
sponsored

Run Linux Software Faster and Safer than Linux with Unikernels.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better hott3 alternative or higher similarity.

Suggest an alternative to hott3

Reviews and mentions

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-06-23.

Homotopy Type Theory
news.ycombinator.com | 2021-06-23

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.

Stats

Basic hott3 repo stats

Mentions

Stars

Activity

0.1

Last Commit

about 1 year ago

gebner/hott3 is an open source project licensed under Apache License 2.0 which is an OSI approved license.