cubical

Implementation of Univalence in Cubical Sets (by simhu)

Cubical Alternatives

Similar projects and alternatives to cubical

  1. open-typerep

    Open type representations and dynamic types

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  3. hoq

    0 cubical VS hoq

    A language based on homotopy type theory with an interval

  4. helf

    0 cubical VS helf

    Haskell implementation of the Edinburgh Logical Framework

  5. graph-wrapper

    A wrapper around the standard Data.Graph with a less awkward interface

  6. singletons

    Fake dependent types in Haskell using singletons

  7. agda-snippets

    Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.

  8. perfect-hash-generator

    Perfect minimal hashing implementation in native Haskell

  9. SaaSHub

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

    SaaSHub logo
  10. Sit

    0 cubical VS Sit

    Prototypical type checker for Type Theory with Sized Natural Numbers (by andreasabel)

  11. miso

    18 cubical VS miso

    :ramen: A tasty Haskell front-end framework

  12. Agda

    27 cubical VS Agda

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

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

cubical discussion

Log in or Post with

cubical reviews and mentions

Posts with mentions or reviews of cubical. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning cubical yet.
Tracking mentions began in Dec 2020.

Stats

Basic cubical repo stats
0
144
0.0
almost 10 years ago

simhu/cubical is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of cubical is Haskell.


Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com

Did you know that Haskell is
the 25th most popular programming language
based on number of references?