runtimeverification / solidityLinks
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:
- various cardano javascript using wasm bindings☆31Updated 2 years ago
- A re-implementation of the Cardano ledger layer, replacing the Byron release☆51Updated 5 years ago
- Shelley cardano-node and cardano-wallet launcher for NodeJS applications☆34Updated last year
- Cardano node and Daedalus in Docker☆23Updated 7 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆133Updated last year
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆47Updated 5 years ago
- This framework provides logging, benchmarking and monitoring.☆34Updated last month
- cardano HTTP bridge☆10Updated 5 years ago
- Aiken support for VS Code☆18Updated last month
- Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies☆176Updated 10 months 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
- ☆27Updated 4 years ago
- ☆17Updated last year
- Core off-chain component of Oracle Pools☆65Updated last month
- Codegen serialization logic for CBOR automatically from a CDDL specification☆43Updated 10 months ago
- Ethereum Classic mantis client full node desktop wallet☆8Updated 2 years ago
- Service Daemon exposes an AI application as an API that is accessible through the SingularityNET Network. It handles all interaction with…☆52Updated this week
- Marlowe smart contract language Cardano implementation☆97Updated this week
- Emurgo research made publicly available for the betterment of the open source and blockchain ecosystems.☆80Updated 4 years ago
- The AgeUSD protocol specifications/smart contracts/off-chain code.☆69Updated 4 years ago
- Legacy code connected to the high-assurance implementation of the Ouroboros protocol family☆78Updated 3 years ago
- Kadena Chainweaver desktop wallet and web-based playground for Pact☆63Updated 2 years ago
- A Formal Library as a Bitcoin Spin-Off☆17Updated 8 years ago
- A code generation tool for purescript-web3☆22Updated 6 months ago
- Implementation of a Consensus Layer for the Ouroboros family of protocols☆54Updated this week
- Helper libraries for Plutus.☆49Updated 2 years ago
- Stakepool Metadata Aggregation Server☆36Updated 2 years ago
- stake pool monitoring tool for jörmungandr node☆7Updated 2 years ago
- Decentralized applicaton backend for Cardano.☆37Updated 3 years ago
- An implementation of Rosetta for Cardano☆99Updated 3 months ago