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
- Backend solution powering the cardano-explorer. See disclaimer below.☆20Updated 4 years ago
- Library utilities for constructing and signing Cardano transactions.☆26Updated last year
- Shelley cardano-node and cardano-wallet launcher for NodeJS applications☆34Updated last year
- various cardano javascript using wasm bindings☆31Updated last year
- stake pool monitoring tool for jörmungandr node☆7Updated last year
- Aiken support for VS Code☆16Updated 7 months ago
- A re-implementation of the Cardano ledger layer, replacing the Byron release☆51Updated 4 years ago
- This framework provides logging, benchmarking and monitoring.☆34Updated 4 months ago
- Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.☆12Updated 5 years ago
- Node shell, a thin layer for running the node and it's modules.☆31Updated last year
- Legacy code connected to the high-assurance implementation of the Ouroboros protocol family☆78Updated 2 years ago
- Catalyst Tools, cli's and scripts related☆16Updated last week
- Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.☆32Updated 6 years ago
- chain-libs javascript SDK☆18Updated 2 years ago
- An untyped Plutus Core assembler☆33Updated 2 years ago
- cardano HTTP bridge☆10Updated 4 years ago
- Cardano node and Daedalus in Docker☆23Updated 6 years ago
- Cardano Command Line Interface (CLI) (Deprecated)☆84Updated 2 years ago
- Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.☆13Updated 6 years ago
- Smart contracts and specification of the AMM protocol on top of the Cardano blockchain☆37Updated last year
- Marlowe smart contract language Cardano implementation☆94Updated last week
- Cardano LITE Wallet. Intended to be used as a starter project for developers wanting to build on the Cardano Blockchain☆24Updated 3 years ago
- ☆27Updated 4 years ago
- Cardano bindings for Ledger Nano S JavaScript APIs for Node.js and browsers☆32Updated 6 months ago
- Haskell implementation of the Bech32 address format (BIP 0173).☆47Updated this week
- Top level repository for building the Cardano Haskell node and related components and dependencies.☆23Updated last year
- Helper libraries for Plutus.☆50Updated 2 years ago
- An implementation of Rosetta for Cardano☆98Updated last week
- Decentralized applicaton backend for Cardano.☆37Updated 2 years ago
- Emurgo research made publicly available for the betterment of the open source and blockchain ecosystems.☆81Updated 4 years ago