Rado Alternatives

Similar projects and alternatives to rado

Formality

29 2,014 9.9 JavaScript rado VS Formality

Discontinued A modern proof language [Moved to: https://github.com/kind-lang/Kind]
PomPom-Language

8 186 0.0 Haskell rado VS PomPom-Language

The cuteness implementation of a dependently typed language.
WorkOS

workos.com sponsored

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.
apalache

6 409 9.5 Scala rado VS apalache

APALACHE: symbolic model checker for TLA+ and Quint

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

Suggest an alternative to rado

rado reviews and mentions

Posts with mentions or reviews of rado. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-10-01.

A dependently typed language for proofs that you can implement in one day
4 projects | news.ycombinator.com | 1 Oct 2021

> in practice, what kind of proof are people building when building real world programs ?
Here's an example of a proof from a Turing machine simulator written in Idris [1]. The claim is that the length of the tape never decreases after taking a step.
The "claim" is stated in the type signature, and the "proof" is an implementation of that type. That's what "propositions as types" means. The whole thing looks like a regular function, except that it doesn't do anything and it never gets called. However, by virtue of having been accepted by the type-checker it verifies the claim about that piece of the program's behavior.
[1] https://github.com/nickdrozd/rado/blob/86790bbb218785e57ea88...