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
- Shelley cardano-node and cardano-wallet launcher for NodeJS applications☆34Updated last year
- ☆27Updated 4 years ago
- The AgeUSD protocol specifications/smart contracts/off-chain code.☆69Updated 4 years ago
- cardano HTTP bridge☆10Updated 5 years ago
- Cardano node and Daedalus in Docker☆23Updated 6 years ago
- Core off-chain component of Oracle Pools☆65Updated 3 weeks ago
- chain-libs javascript SDK☆18Updated 2 years ago
- A re-implementation of the Cardano ledger layer, replacing the Byron release☆51Updated 5 years ago
- Emurgo research made publicly available for the betterment of the open source and blockchain ecosystems.☆80Updated 4 years ago
- Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.☆12Updated 5 years ago
- Stakepool Metadata Aggregation Server☆36Updated 2 years ago
- blockchain libs☆35Updated last year
- Node shell, a thin layer for running the node and it's modules.☆31Updated 2 years ago
- Legacy code connected to the high-assurance implementation of the Ouroboros protocol family☆78Updated 3 years ago
- Cardano bindings for Ledger Nano S JavaScript APIs for Node.js and browsers☆32Updated 11 months ago
- Cardano Ledger App for Ledger Nano S☆25Updated 4 years ago
- Ethereum Classic mantis client full node desktop wallet☆8Updated 2 years ago
- Cardano Command Line Interface (CLI) (Deprecated)☆85Updated 3 years ago
- This repository provides cryptographic libraries that are used in the Byron era of the Cardano node☆68Updated last week
- ☆17Updated last year
- stake pool monitoring tool for jörmungandr node☆7Updated last year
- ☆31Updated 2 years ago
- This framework provides logging, benchmarking and monitoring.☆34Updated 3 weeks ago
- Codegen serialization logic for CBOR automatically from a CDDL specification☆41Updated 9 months ago
- Just a collection of cardano related stuff from me or other contributors as a reference collection.☆9Updated last month
- Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies☆176Updated 9 months ago
- Cardano cryptography from the official cardano-crypto transpiled to js with emscripten☆28Updated this week
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆46Updated 5 years ago
- An implementation of Rosetta for Cardano☆99Updated 2 months ago