Sml-redprl Alternatives

Similar projects and alternatives to sml-redprl

• cooltt

  1 208 5.7 OCaml sml-redprl VS cooltt

  😎TT

  

• cubicaltt

  3 556 2.3 Haskell sml-redprl VS cubicaltt

  Experimental implementation of Cubical Type Theory

• 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.

  

• redtt

  2 199 0.0 OCaml sml-redprl VS redtt

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

  

• coq

  87 4,602 10.0 OCaml sml-redprl VS coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  

• anders

  3 17 9.1 OCaml sml-redprl VS anders

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

  

• proofs

  5 285 8.9 Coq sml-redprl VS proofs

  My personal repository of formally verified mathematics.

• Agda

  27 2,368 9.8 Haskell sml-redprl VS Agda

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

  

• 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.