The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →
datatt reviews and mentions
Posts with mentions or reviews of datatt.
We have used some of these posts to build our list of alternatives
and similar projects.
- datatt: a dependently typed language and proof assistant with inductive types and dependent records
- datatt: A dependently typed language and proof assistant with inductive types and dependent records
- datatt: A depedently typed language and proof assistant with inductive types and dependent records
-
A note from our sponsor - WorkOS
workos.com | 23 Apr 2024
Stats
Basic datatt repo stats
3
46
0.0
over 2 years ago
The primary programming language of datatt is OCaml.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com