Cluster 633662

9 repos

Rust · 3

Go · 1

Haskell · 1

Move · 1

OCaml · 1

Rocq Prover · 1

blockchain ·28,637

solana ·20,074

rust ·20,074

ledger ·15,134

bitcoin ·14,942

performance-blockchain ·14,942

rustc ·14,942

smart-contracts ·13,695

aptos ·6,498

move ·6,432

Related clusters

Ethereum smart contracts and development tools40 Blockchain & Cryptocurrency Implementation22 Cluster 63358737 VS Code Extensions and Tooling5 VS Code Language Extensions36 Cluster 63395023

otter-sec/anchor

⚓ Solana Program Framework

Rust

5,132

2,029 commits

IntersectMBO/plutus

The Plutus language implementation and tools

Haskell

1,632

10,380 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,432

20,730 commits

AU-COBRA/ConCert

A framework for smart contract verification in Coq

Rocq Prover

129

978 commits

insolar/insolar

Enterprise-ready blockchain platform

192

17,765 commits

solana-labs/solana

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

Rust

14,942

23,722 commits

solanaclawd/brave-new-world

Space

🧠 Brave New World: On-Chain Reinforcement Learning

6 commits