redtt

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory (by RedPRL)

Redtt Alternatives

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

  • cubical

    An experimental library for Cubical Agda

  • cooltt

    😎TT

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
  • sml-redprl

    1 redtt VS sml-redprl

    Discontinued The People's Refinement Logic

  • Agda

    27 redtt VS Agda

    Agda is a dependently typed programming language / interactive theorem prover.

  • anders

    🧊 Модальний гомотопічний верифікатор математики

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

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

redtt reviews and mentions

Posts with mentions or reviews of redtt. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-02-11.

Stats

Basic redtt repo stats
2
199
0.0
about 2 years ago

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

The primary programming language of redtt is OCaml.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com