Cooltt Alternatives
Similar projects and alternatives to cooltt
-
effekt
A research language with effect handlers and lightweight effect polymorphism
-
redtt
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
-
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.
-
-
-
-
Agda
Agda is a dependently typed programming language / interactive theorem prover.
-
-
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.
-
cooltt reviews and mentions
-
Today, Thanks to this sub Reddit. I discovered 3 awesome new languages....
If you're looking for stuff pushing the boundaries of PL research, Agda (especially Cubical Agda) might be cool to look at. It's got lots of cutting edge stuff in it, pushing the boundaries of what is currently possible with dependent type theory. It's not the only language out there with cubical features (see also: cooltt), but it's probably one of the more fleshed-out implementations in terms of being practically useful. The 1Lab makes heavy use of it. There's also Introduction to Univalent Foundations of Mathematics with Agda that might be interesting to look at too!
Stats
RedPRL/cooltt is an open source project licensed under Apache License 2.0 which is an OSI approved license.
The primary programming language of cooltt is OCaml.