Stars
- All languages
- Astro
- C
- C#
- C++
- CSS
- Cairo
- Clojure
- CoffeeScript
- Coq
- Cuda
- Dart
- Dockerfile
- Elixir
- Erlang
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- MDX
- Makefile
- Markdown
- Move
- OCaml
- Objective-C
- PowerShell
- Python
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Solidity
- Svelte
- Swift
- TeX
- TypeScript
- Vue
- Vyper
- WebAssembly
- Wikitext
🌴 Empowering everyone to build reliable and efficient smart contracts.
Rust full node implementation of the Fuel v2 protocol.
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
Substrate: The platform for blockchain innovators
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
zkSync: trustless scaling and privacy engine for Ethereum
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
A collection of Solana programs maintained by Solana Labs
Cairo is the first Turing-complete language for creating provable programs for general computation.
A zkVM for Decentralized Private Computations (DPC)
Kaspa full-node reference implementation and related libraries in the Rust programming language
A Rust Implementation of the PLONK ZKP System and Extensions
Core contracts: reference staking pool, lockup, voting, whitelist, multisig.
Papyrus is a StarkNet full node written in Rust.