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
- Decentralized applicaton backend for Cardano.☆37Updated 2 years ago
- ☆17Updated last year
- various cardano javascript using wasm bindings☆31Updated 2 years ago
- A curated list of Cardano (mostly) Rust code and resources.☆12Updated last year
- stake pool monitoring tool for jörmungandr node☆7Updated last year
- Emurgo research made publicly available for the betterment of the open source and blockchain ecosystems.☆80Updated 4 years ago
- Shelley cardano-node and cardano-wallet launcher for NodeJS applications☆34Updated last year
- Aiken support for VS Code☆16Updated 3 months ago
- Marlowe smart contract language Cardano implementation☆95Updated this week
- Cardano node and Daedalus in Docker☆23Updated 6 years ago
- Cardano Transaction Submit API service☆13Updated this week
- Helper libraries for Plutus.☆49Updated 2 years ago
- Core off-chain component of Oracle Pools☆64Updated this week
- A RPC layer to interact with UTxO-based blockchains☆19Updated 3 weeks ago
- Library utilities for constructing and signing Cardano transactions.☆26Updated last year
- An untyped Plutus Core assembler☆35Updated 3 years ago
- Cardano Ledger App for Ledger Nano S☆25Updated 3 years ago
- The Aiken Standard Library☆53Updated this week
- An implementation of Rosetta for cardano based yaci-store to offer reduced ressource footprints☆18Updated this week
- An easy to use framework for building Ergo headless dApps. Developed by EMURGO and Ergo Platform.☆25Updated 3 years ago
- The AgeUSD protocol specifications/smart contracts/off-chain code.☆69Updated 4 years ago
- Stakepool Metadata Aggregation Server☆36Updated 2 years ago
- ☆53Updated 4 years ago
- cardano HTTP bridge☆10Updated 5 years ago
- ☆23Updated last year
- A Cardano Mini Protocols implementation in Java☆27Updated 3 weeks ago
- Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies☆176Updated 7 months ago
- An implementation of Rosetta for Cardano☆99Updated 2 weeks ago
- Read-optimized cache of Cardano on-chain entities☆92Updated 3 months ago
- Marlowe TypeScript SDK☆23Updated 3 weeks ago