Idris2 Alternatives
Similar projects and alternatives to Idris2
-
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
-
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.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better Idris2 alternative or higher similarity.
Idris2 reviews and mentions
Posts with mentions or reviews of Idris2.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-04-24.
-
I like Math, will I enjoy programming too?
Finally, if you are interested in actually writing code to do things, then you may want to check out Idris (and possibly the next generation built from lessons learned from it but still very much in development, Idris 2) because this language was designed from the ground up to be a practical tool in which to write programs while still being based fundamentally on dependent types and thus being very proof-centric, unlike Coq and Agda which are more specialized in being programming languages in which to express mathematics.
Stats
Basic Idris2 repo stats
1
54
0.0
over 1 year ago
edwinb/Idris2 is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.
The primary programming language of Idris2 is Idris.
Popular Comparisons
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com