HoTT in Lean 3 (by gebner)

Hott3 Alternatives

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

  • template-agda

    An Agda template, configured for Gitpod ( to give you pre-built, ephemeral development environments in the cloud.

  • cubical

    hott3 VS cubical

    An experimental library for Cubical Agda

  • SonarQube

    Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  • Leantime

    hott3 VS Leantime

    Leantime is a lean project management system for non-project managers. Designed to help you manage your projects from ideation to delivery.

  • Coq-HoTT

    hott3 VS Coq-HoTT

    A Coq library for Homotopy Type Theory

  • trepplein

    hott3 VS trepplein

    Lean type-checker written in Scala.

  • lean4

    hott3 VS lean4

    Lean 4 programming language and theorem prover

  • mathlib

    hott3 VS mathlib

    Lean mathematical components library

  • InfluxDB

    Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.

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.

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-12-11.


Basic hott3 repo stats
over 2 years ago

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

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