Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.

ZK-PIG is a ZK-EVM Prover Input generator responsible for generating the data inputs necessary for proving Ethereum Execution Layer (EL) blocks.

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

connect any ai agents to solana protocols

Autonomous agents for everyone

Documentation for the CosmWasm smart contracting framework

OpenZeppelin Contracts is a library for secure smart contract development.

Main repository for the Linera protocol

Story Documentation

AG2 (formerly AutoGen): The Open-Source AgentOS. Join us at: https://discord.gg/pAbnFJrkgZ

Developer documentation for MetaMask

Go implementation of Ethereum proof of stake

Implementation of the Farcaster Hub specification and supporting libraries for building applications on Farcaster

SQL views for Dune

OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup

Celestia Documentation Site

Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.

Solidity By Example

Project Management: Meeting notes and agenda items

Cairo is the first Turing-complete language for creating provable programs for general computation.

OCaml DSL for verifiable computation

Linea documentation

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

V1 interface for Snapshot. Join us on Discord http://discord.snapshot.org

Interactive documentation on zero-knowledge proof systems and related primitives.

Lido docs repo

Round Manager & Grant Explorer & Project Builder of the Grants Protocol