The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →
Cubicaltt Alternatives
Similar projects and alternatives to cubicaltt
-
-
-
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.
-
ponyc
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
-
-
-
-
-
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.
-
awesome-programming-languages
The list of an awesome programming languages that you might be interested in
-
-
-
-
-
-
-
-
-
TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
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 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
- 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?
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
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 - WorkOS
workos.com | 26 Apr 2024
Stats
Basic cubicaltt repo stats
3
556
2.3
7 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
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com