cooltt

😎TT (by RedPRL)

Cooltt Alternatives

Similar projects and alternatives to cooltt

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

cooltt reviews and mentions

Posts with mentions or reviews of cooltt. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-02-13.
  • Today, Thanks to this sub Reddit. I discovered 3 awesome new languages....
    5 projects | /r/ProgrammingLanguages | 13 Feb 2022
    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

Basic cooltt repo stats
1
208
5.7
5 months ago

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.

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