Skip to content
Change the repository type filter

All

    Repositories list

    • solidity

      Public
      Solidity, the Smart Contract Programming Language
      C++
      6.3k25k57783Updated Dec 6, 2025Dec 6, 2025
    • act

      Public
      Smart contract specification language
      Haskell
      43253354Updated Dec 6, 2025Dec 6, 2025
    • solc-bin

      Public
      This repository contains current and historical builds of the Solidity Compiler.
      JavaScript
      41842405Updated Dec 6, 2025Dec 6, 2025
    • solcore

      Public
      experimental solidity compiler
      Haskell
      3912714Updated Dec 5, 2025Dec 5, 2025
    • JavaScript
      222931Updated Dec 5, 2025Dec 5, 2025
    • hevm

      Public
      Symbolic and concrete EVM execution engine
      Haskell
      69317608Updated Dec 5, 2025Dec 5, 2025
    • sourcify

      Public
      Source code verification service for Ethereum smart contracts
      TypeScript
      4948871025Updated Dec 4, 2025Dec 4, 2025
    • fe

      Public
      Emerging smart contract language for the Ethereum blockchain.
      Rust
      2081.7k10325Updated Dec 3, 2025Dec 3, 2025
    • solc-js

      Public
      Javascript bindings for the Solidity compiler
      TypeScript
      4951.5k5717Updated Dec 3, 2025Dec 3, 2025
    • argot.org

      Public
      Website for the Argot Collective
      TypeScript
      0400Updated Nov 16, 2025Nov 16, 2025
    • assets

      Public
      Brand assets for the Argot Collective
      0000Updated Nov 7, 2025Nov 7, 2025
    • Solidity
      61710Updated Feb 19, 2025Feb 19, 2025
    • Website for the Underhanded Solidity Contest
      Solidity
      2216800Updated Nov 22, 2024Nov 22, 2024
    • Website of the Solidity Summit conference series
      CSS
      102700Updated 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 relevant other websites.
      HTML
      91461Updated Jul 12, 2023Jul 12, 2023
    • Isabelle
      44101Updated 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
      4300Updated Jun 23, 2020Jun 23, 2020