Solidity, the Smart Contract Programming Language
Repository Index
47,133 repositories indexed
1–13 of 13 · Most stars
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
Subwasm is a cli utility to look inside a Substrate WASM Runtime. It can inspect and compare the metadata of Substrate based runtimes such as Polkadot or Kusama.
A rusty sdk for Algorand.
Fast, quick and dirty bitcoin blockchain parser
Simple educational blockchain in Common LIsp
- lisp
- blockchain
- common-lisp
Tealang - high level language for Algorand ASC1 and TEAL
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
A github action to easily build your Substrate WASM runtime using srtool with your CI
Go-based framework for building Polkadot/Substrate-compatible runtimes. 🧱
Compiler & Runtime for 'Almost Binary'. Code in platform-independent binary and utilize high-level data structures and state-of-the-art libraries (e.g. quantum computing, blockchain, ..)
- binary
- compiler
- runtime
- csharp
Peercoin blockchain parser