cubicaltt

Experimental implementation of Cubical Type Theory (by mortberg)

Cubicaltt Alternatives

Similar projects and alternatives to cubicaltt

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

cubicaltt discussion

Log in or Post with

cubicaltt reviews and mentions

Posts with mentions or reviews of cubicaltt. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-11-15.
  • Let's collect relatively new research programming languages in this thread
    19 projects | /r/ProgrammingLanguages | 15 Nov 2022
    - cubicialtt a programming language based on cubical type theory in which univalence from homotopy type theory isn't an axiom but a theorem
  • How and where to learn the latest mathematical concepts?
    1 project | /r/haskell | 22 Jul 2022
    If you’re interested in programming languages specifically, the current state of the art is called Cubical Type Theory. CuTT has lots of flavours and the community hasn’t coalesced around a single design. The paper I personally found easiest to digest was the “ABCFHL” paper, but I’d recommend reading it alongside the original CCHM paper. None of the publications made an ounce of sense to me until after I’d digested Favonia’s YouTube channel, Mortberg’s lecture notes and this other series of lectures from Harper (particularly the final one).
  • Plato’s Cave Found in Mathematics
    1 project | /r/AcademicPhilosophy | 25 Jan 2021
    I updated the blog post to include some people in academia who contributed. I've been interacting with Kent Palmer and Sylvester James Gates, Jr. The latter held lectures about the philosophy of mathematics. I've been using work inspired by Vladimir Voevodsky, e.g. cubicaltt (https://github.com/mortberg/cubicaltt), which is also performed by academics.
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 21 Jul 2024
    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. Learn more →

Stats

Basic cubicaltt repo stats
3
566
2.3
10 months ago

mortberg/cubicaltt is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of cubicaltt is Haskell.


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.
www.influxdata.com

Did you konow that Haskell is
the 23rd most popular programming language
based on number of metions?