high-assurance-legacy
adalite
high-assurance-legacy | adalite | |
---|---|---|
1 | 212 | |
81 | 235 | |
- | -0.4% | |
7.0 | 7.7 | |
about 2 years ago | 17 days ago | |
Haskell | TypeScript | |
MIT License | - |
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
-
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
-
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)
What are some alternatives?
cardano-addresses - Addresses and mnemonic manipulation & derivations
nami - Nami Wallet is a browser based wallet extension to interact with the Cardano blockchain. Support requests: https://iohk.zendesk.com/hc/en-us/requests/new
cardano-dex-backend - Spectrum Finance off-chain service for Cardano
yoroi-frontend - Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)
cardano-coin-selection - A library of algorithms for coin selection and fee balancing.
pool.pm - Cardano blockchain realtime visualization
cardano-ledger - The ledger implementation and specifications of the Cardano blockchain.
daedalus - The open source cryptocurrency wallet for ada, built to grow with the community
trezor-suite - :candy: Trezor Suite Monorepo
yoroi - Yoroi
tatum-kms - Unbreakable secure KMS (key management system) integrated to Tatum blockchain infrastructure
cardano-transactions - Library utilities for constructing and signing Cardano transactions.