runtimeverification / solidityLinks
Fork of the Solidity Compiler for compiling Solidity to IELE
☆16Updated 4 years ago
Alternatives and similar repositories for solidity
Users that are interested in solidity are comparing it to the libraries listed below
Sorting:
- Emurgo research made publicly available for the betterment of the open source and blockchain ecosystems.☆80Updated 5 years ago
- ☆27Updated 5 years ago
- A curated list of awesome and useful Ergo resources☆71Updated 9 months ago
- Test alpha releases to prevent testing with incompatible versions on IOHK network.☆25Updated 5 years ago
- Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies☆177Updated last month
- Cardano bindings for Ledger Nano S JavaScript APIs for Node.js and browsers☆32Updated last year
- Shelley cardano-node and cardano-wallet launcher for NodeJS applications☆34Updated 3 months ago
- Ergo Improvement Proposals☆64Updated 8 months ago
- This is a library, written in Rust, for serialization & deserialization of data structures used in Cardano's Haskell implementation of Al…☆251Updated 2 months ago
- An implementation of Rosetta for Cardano☆98Updated 9 months ago
- JavaScript SDK for interacting with Cardano, providing various key management options, with support for popular hardware wallets☆238Updated this week
- Read-optimized cache of Cardano on-chain entities☆92Updated last year
- Stakepool Metadata Aggregation Server☆36Updated 3 years ago
- Support triage for the Shelley testnet☆68Updated 5 years ago
- Stake-based threshold multi-signatures protocol☆146Updated this week
- New Yoroi data-importer (replacement for the `project-icarus-importer`)☆17Updated 5 years ago
- Core off-chain component of Oracle Pools☆66Updated 3 weeks ago
- chain-libs javascript SDK☆18Updated 3 years ago
- Experimental Smart Contracts In Plutus.☆33Updated 6 years ago
- The AgeUSD protocol specifications/smart contracts/off-chain code.☆70Updated 4 years ago
- Smart contracts and specification of the AMM protocol on top of the Cardano blockchain☆36Updated 2 years ago
- Tools for creating, submitting, and managing off-chain metadata such as multi-asset token metadata☆52Updated 2 years ago
- Rust implementation of Cardano☆105Updated 10 months ago
- This is an automation platform for Cardano to trigger various action based on detecting payment to a wallet address.☆63Updated 3 years ago
- The Lace Wallet.☆42Updated this week
- Plutus Use Cases☆65Updated 3 years ago
- An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript☆175Updated 2 months ago
- Addresses and mnemonic manipulation & derivations☆161Updated last month
- APIs & SDK for interacting with Cardano.☆181Updated 2 years ago
- A modular indexer for Cardano with an SQL Postgres backend (an alternative to the well known cardano-db-sync)☆107Updated last year