🌴 Empowering everyone to build reliable and efficient smart contracts.
Repository Index
47,133 repositories indexed
1–16 of 16 · Most stars
Solidity, the Smart Contract Programming Language
💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)
- lodash
- golang
- go
- generics
WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices, smart contracts, and IoT devices.
🚀 A fast WebAssembly interpreter and the most universal WASM runtime
Polkadot's ink! to write smart contracts.
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
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
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
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language