Cluster 436052

8 repos

Rocq Prover · 2

Rust · 2

Go · 1

Haskell · 1

Move · 1

OCaml · 1

smart-contracts ·13,691

blockchain ·13,691

aptos ·6,495

move ·6,429

blockchain-network ·6,429

rust ·5,153

solana ·5,129

programming-language ·1,634

networking ·192

blockchain-platform ·192

Related clusters

Ethereum Smart Contract Development24 Blockchain & Cryptocurrency Implementation21 Coq Proof Assistant and Extensions23 VS Code Language Extensions29 Cluster 43598932 Cluster 46215338

AU-COBRA/ConCert

A framework for smart contract verification in Coq

Rocq Prover

129

978 commits

IntersectMBO/plutus

The Plutus language implementation and tools

Haskell

1,634

10,380 commits

otter-sec/anchor

⚓ Solana Program Framework

Rust

5,129

2,029 commits

tezos/tezos-mirror

Github test mirror of the Octez software. Please do not submit pull-requests here!

OCaml

112

34,478 commits

aptos-labs/aptos-names-contracts

No description

Move

71 commits

aptos-labs/aptos-core

Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better…

Rust

6,429

20,730 commits

insolar/insolar

Enterprise-ready blockchain platform

192

17,765 commits

AU-COBRA/coq-rust-extraction

Coq plugin for extracting Rust code

Rocq Prover

179 commits