high-assurance-legacy
Legacy code connected to the high-assurance implementation of the Ouroboros protocol family (by input-output-hk)
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 (by vacuumlabs)
| high-assurance-legacy | adalite | |
|---|---|---|
| 1 | 212 | |
| 81 | 234 | |
| - | -0.4% | |
| 7.0 | 8.1 | |
| almost 3 years ago | 8 days ago | |
| Haskell | TypeScript | |
| MIT License | - |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
high-assurance-legacy
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 :)
adalite
Posts with mentions or reviews of adalite.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-02-07.
-
Daedalus Sync Resume Stopped
EDIT#2: I was able to use the 12-words on adalite.io and recover the funds. I'm still unsure as to what happened and why I had the 12-words from Daedalus, maybe I created a normal wallet first and then the ledger one? Anyway, funds are safe and moved. Thank you for your help!!
- Is it possible to use a Ledger device without Ledger Live ?
- Staking With Hardware Wallet
- Yoroi Wallet - Still Good?
-
Thoughts on BitBox02?
Also last time I checked Cardano is supported trough AdaLite wallet https://adalite.io/ but not the BitBoxApp.
- Confused
-
Cardano Daily Discussion - March 18, 2023
I tried my old Byron 12 word wallet phrase in adalite.io and it worked for me. I was able to see my old transaction history and a correct balance of 0.
- Finally pulled ada of exchange
- Ledger newbie and having staking questions!
- My Leger Live is completely synced now (for what it's worth)