High-assurance-legacy Alternatives
Similar projects and alternatives to high-assurance-legacy
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
-
-
-
adalite
A lightweight web wallet for Cardano cryptocurrency with Trezor, Ledger and BitBox02 support. Please note that the only valid domain for our wallet is adalite.io
-
-
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better high-assurance-legacy alternative or higher similarity.
high-assurance-legacy discussion
high-assurance-legacy reviews and mentions
Posts with mentions or reviews of high-assurance-legacy.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-01-31.
-
Software Development Languages: Haskell
* https://github.com/input-output-hk/plutus
There's quite a few recent Isabelle repos such as https://github.com/input-output-hk/high-assurance-legacy
I haven't worked there for a year or so and don't remember specifics like KLOCs, just that they're dotted around internal and public repos :)
Stats
Basic high-assurance-legacy repo stats
1
81
7.0
almost 3 years ago
input-output-hk/high-assurance-legacy is an open source project licensed under MIT License which is an OSI approved license.
The primary programming language of high-assurance-legacy is Haskell.
Popular Comparisons
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com