🚀 A fast WebAssembly interpreter and the most universal WASM runtime
Repository Index
47,133 repositories indexed
1–9 of 9 · Most stars
WebAssembly Smart Contracts for the Cosmos SDK
- cosmos-sdk
- rust
- smart-contracts
- webassembly
Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.
- gno
- gnoland
- gnolang
- bft
A framework for smart contract verification in Coq
- blockchain
- coq
- smart-contracts
- verification
A sandbox to run and debug smart contracts for FRAME Contracts pallet and also a sandbox framework for Substrate runtime.
💎 Solidity compiler bindings for Deno
Wasm smart contract networks powered by Substrate FRAME Contracts pallet in Polkadot ecosystem.
- substrate
- smart-contracts
- ink
- pallet-contracts
Tealang - high level language for Algorand ASC1 and TEAL
Examples of scripts for accounts, dApps and assets using RIDE programming language.
- ride
- smart-contracts
- dapp-example
- dapp