Skip to content
Change the repository type filter

All

    Repositories list

    • fe

      Public
      Emerging smart contract language for the Ethereum blockchain.
      Rust
      2101.7k10629Updated Feb 8, 2026Feb 8, 2026
    • solidity

      Public
      Solidity, the Smart Contract Programming Language
      C++
      6.3k26k59477Updated Feb 7, 2026Feb 7, 2026
    • hevm

      Public
      Symbolic and concrete EVM execution engine
      Haskell
      73327619Updated Feb 6, 2026Feb 6, 2026
    • solcore

      Public
      experimental solidity compiler
      Haskell
      695238Updated Feb 6, 2026Feb 6, 2026
    • sourcify

      Public
      Source code verification service for Ethereum smart contracts
      TypeScript
      508902873Updated Feb 5, 2026Feb 5, 2026
    • act

      Public
      Smart contract specification language
      Haskell
      47265340Updated Feb 4, 2026Feb 4, 2026
    • argot.org

      Public
      Website for the Argot Collective
      TypeScript
      0400Updated Feb 3, 2026Feb 3, 2026
    • solc-bin

      Public
      This repository contains current and historical builds of the Solidity Compiler.
      JavaScript
      42242705Updated Jan 30, 2026Jan 30, 2026
    • JavaScript
      253033Updated Jan 5, 2026Jan 5, 2026
    • solc-js

      Public
      Javascript bindings for the Solidity compiler
      TypeScript
      4961.5k5717Updated Dec 18, 2025Dec 18, 2025
    • assets

      Public
      Brand assets for the Argot Collective
      0010Updated Nov 7, 2025Nov 7, 2025
    • Solidity
      61710Updated Feb 19, 2025Feb 19, 2025
    • Website for the Underhanded Solidity Contest
      Solidity
      2316900Updated Nov 22, 2024Nov 22, 2024
    • Website of the Solidity Summit conference series
      CSS
      92700Updated Jul 24, 2023Jul 24, 2023
    • solidity-blog

      Public archive
      Collection of articles about the Solidity language and compiler
      HTML
      286193Updated Jul 12, 2023Jul 12, 2023
    • solidity-portal

      Public archive
      The Solidity Language Portal is a high-level information page for Solidity, aiming to present consolidated news and making visitors aware of and leading them to…
      HTML
      91461Updated Jul 12, 2023Jul 12, 2023
    • Isabelle
      54101Updated Nov 21, 2022Nov 21, 2022
    • fv-blog

      Public archive
      Archive of the Formal Verification blog
      HTML
      5301Updated Dec 1, 2021Dec 1, 2021
    • Source files for docker images used to build the Solidity compiler.
      Dockerfile
      5300Updated Jun 23, 2020Jun 23, 2020