runtimeverification / solidity
Fork of the Solidity Compiler for compiling Solidity to IELE
☆16Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for solidity
- various cardano javascript using wasm bindings☆31Updated last year
- Backend solution powering the cardano-explorer. See disclaimer below.☆20Updated 4 years ago
- Shelley cardano-node and cardano-wallet launcher for NodeJS applications☆34Updated 11 months ago
- cardano HTTP bridge☆10Updated 4 years ago
- Emurgo research made publicly available for the betterment of the open source and blockchain ecosystems.☆81Updated 4 years ago
- Legacy code connected to the high-assurance implementation of the Ouroboros protocol family☆78Updated 2 years ago
- Work in progress: Run off-chain smart contract executables server-side in isolation, accessible via a network interface☆8Updated 3 years ago
- stake pool monitoring tool for jörmungandr node☆7Updated last year
- Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.☆12Updated 4 years ago
- Cardano node and Daedalus in Docker☆23Updated 6 years ago
- Library utilities for constructing and signing Cardano transactions.☆26Updated 11 months ago
- ☆32Updated last year
- ☆75Updated last year
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆45Updated 4 years ago
- chain-libs javascript SDK☆18Updated 2 years ago
- ☆17Updated last year
- A re-implementation of the Cardano ledger layer, replacing the Byron release☆52Updated 4 years ago
- ☆27Updated 4 years ago
- The AgeUSD protocol specifications/smart contracts/off-chain code.☆66Updated 3 years ago
- Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.☆32Updated 6 years ago
- An easy to use framework for building Ergo headless dApps. Developed by EMURGO and Ergo Platform.☆25Updated 2 years ago
- Ethereum Classic mantis client full node desktop wallet☆8Updated last year
- Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies☆172Updated 2 months ago
- Implementation of a Consensus Layer for the Ouroboros family of protocols☆36Updated this week
- Helper libraries for Plutus.☆50Updated 2 years ago
- Node shell, a thin layer for running the node and it's modules.☆31Updated last year
- Top level repository for building the Cardano Haskell node and related components and dependencies.☆23Updated last year
- jormungandr nix scripts☆17Updated last year
- Semantics of Virtual Machine for IELE prototype blockchain☆131Updated last year
- Codegen serialization logic for CBOR automatically from a CDDL specification☆40Updated 2 months ago