runtimeverification / solidity

Related projects ⓘ

Alternatives and complementary repositories for solidity

• input-output-hk / js-cardano-wasm
  various cardano javascript using wasm bindings
  ☆31Updated last year
• input-output-hk / js-chain-libs
  chain-libs javascript SDK
  ☆18Updated 2 years ago
• IntersectMBO / cardano-transactions
  Library utilities for constructing and signing Cardano transactions.
  ☆26Updated 10 months ago
• aiken-lang / vscode-aiken
  Aiken support for VS Code
  ☆16Updated 5 months ago
• Emurgo / Emurgo-Research
  Emurgo research made publicly available for the betterment of the open source and blockchain ecosystems.
  ☆81Updated 4 years ago
• IntersectMBO / ouroboros-consensus
  Implementation of a Consensus Layer for the Ouroboros family of protocols
  ☆35Updated this week
• input-output-hk / cardano-explorer
  Backend solution powering the cardano-explorer. See disclaimer below.
  ☆20Updated 4 years ago
• input-output-hk / cardano-http-bridge
  cardano HTTP bridge
  ☆10Updated 4 years ago
• input-output-hk / catalyst-toolbox
  Catalyst Tools, cli's and scripts related
  ☆16Updated last week
• CodingOnChain / lift-wallet
  Cardano LITE Wallet. Intended to be used as a starter project for developers wanting to build on the Cardano Blockchain
  ☆24Updated 3 years ago
• input-output-hk / stakepool-management-tools
  ☆27Updated 4 years ago
• Liqwid-Labs / plutus-extra
  Helper libraries for Plutus.
  ☆50Updated 2 years ago
• input-output-hk / fenrir
  stake pool monitoring tool for jörmungandr node
  ☆7Updated last year
• ergoplatform / oracle-core
  Core off-chain component of Oracle Pools
  ☆61Updated 3 months ago
• Emurgo / age-usd
  The AgeUSD protocol specifications/smart contracts/off-chain code.
  ☆66Updated 3 years ago
• IntersectMBO / cardano-launcher
  Shelley cardano-node and cardano-wallet launcher for NodeJS applications
  ☆33Updated 10 months ago
• input-output-hk / cardano-ledger-byron
  A re-implementation of the Cardano ledger layer, replacing the Byron release
  ☆52Updated 4 years ago
• hcvst / cardano-daedalus-docker
  Cardano node and Daedalus in Docker
  ☆23Updated 6 years ago
• input-output-hk / project-icarus-chrome
  Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.
  ☆32Updated 6 years ago
• input-output-hk / smash
  Stakepool Metadata Aggregation Server
  ☆36Updated last year
• input-output-hk / project-icarus-backend-service
  Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.
  ☆12Updated 4 years ago
• input-output-hk / jormungandr-nix
  jormungandr nix scripts
  ☆17Updated last year
• mlabs-haskell / awesome-plutus
  ☆75Updated last year
• Emurgo / tangata-manu
  New Yoroi data-importer (replacement for the `project-icarus-importer`)
  ☆17Updated 4 years ago
• input-output-hk / marlowe-cardano
  Marlowe smart contract language Cardano implementation
  ☆93Updated 3 weeks ago
• cardano-foundation / incentivized-testnet-stakepool-registry
  ☆53Updated 4 years ago
• cardano-foundation / ledger-app-cardano
  Cardano Ledger App for Ledger Nano S
  ☆25Updated 3 years ago
• dcSpark / cddl-codegen
  Codegen serialization logic for CBOR automatically from a CDDL specification
  ☆40Updated 2 months ago
• input-output-hk / Developer-Experience-working-group
  ☆23Updated 7 months ago
• input-output-hk / voting-tools
  ☆17Updated last year