runtimeverification / solidity
Fork of the Solidity Compiler for compiling Solidity to IELE
☆16Updated 3 years ago
Alternatives and similar repositories for solidity
Users that are interested in solidity are comparing it to the libraries listed below
Sorting:
- Shelley cardano-node and cardano-wallet launcher for NodeJS applications☆34Updated last year
- Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.☆12Updated 5 years ago
- chain-libs javascript SDK☆18Updated 2 years ago
- ☆31Updated 2 years ago
- stake pool monitoring tool for jörmungandr node☆7Updated last year
- Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.☆32Updated 6 years ago
- Cardano Ledger App for Ledger Nano S☆25Updated 4 years ago
- Emurgo research made publicly available for the betterment of the open source and blockchain ecosystems.☆80Updated 4 years ago
- cardano HTTP bridge☆10Updated 5 years ago
- various cardano javascript using wasm bindings☆31Updated 2 years ago
- Aiken support for VS Code☆16Updated 3 months ago
- The AgeUSD protocol specifications/smart contracts/off-chain code.☆69Updated 4 years ago
- Decentralized applicaton backend for Cardano.☆37Updated 2 years ago
- ☆27Updated 4 years ago
- Cardano LITE Wallet. Intended to be used as a starter project for developers wanting to build on the Cardano Blockchain☆24Updated 4 years ago
- ☆17Updated last year
- A re-implementation of the Cardano ledger layer, replacing the Byron release☆51Updated 4 years ago
- Cardano node and Daedalus in Docker☆23Updated 6 years ago
- Legacy code connected to the high-assurance implementation of the Ouroboros protocol family☆78Updated 3 years ago
- ☆75Updated last year
- New Yoroi data-importer (replacement for the `project-icarus-importer`)☆17Updated 4 years ago
- Helper libraries for Plutus.☆49Updated 2 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆45Updated 5 years ago
- An easy to use framework for building Ergo headless dApps. Developed by EMURGO and Ergo Platform.☆25Updated 3 years ago
- Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.☆13Updated 6 years ago
- Cardano bindings for Ledger Nano S JavaScript APIs for Node.js and browsers☆32Updated 10 months ago
- A RPC layer to interact with UTxO-based blockchains☆19Updated last week
- ☆53Updated 4 years ago
- The Dart implementation of the BIP32-Ed25519 the deterministic key generation solution for the Ed25519 curve☆9Updated 4 months ago
- Backend solution powering the cardano-explorer. See disclaimer below.☆19Updated 5 years ago