TypeTopology Alternatives

Similar projects and alternatives to TypeTopology

• mathlib4

  10 791 10.0 Lean TypeTopology VS mathlib4

  The math library of Lean 4

  

• Agda

  1 116 0.0 Agda TypeTopology VS Agda

  Agda formalisation of the Introduction to Homotopy Type Theory (by HoTT-Intro)

  

• WorkOS

  workos.com sponsored

  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.

  

• UniMath

  2 910 9.5 Coq TypeTopology VS UniMath

  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

  

• Coq-HoTT

  4 1,214 9.8 Coq TypeTopology VS Coq-HoTT

  A Coq library for Homotopy Type Theory

  

• cubicaltt

  3 556 2.3 Haskell TypeTopology VS cubicaltt

  Experimental implementation of Cubical Type Theory

• template-agda

  1 8 0.0 Agda TypeTopology VS template-agda

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

  

• agda-stdlib

  4 556 9.3 Agda TypeTopology VS agda-stdlib

  The Agda standard library

  

• InfluxDB

  www.influxdata.com sponsored

  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.