Repositories list

• solidity

  Public
  Solidity, the Smart Contract Programming Language

  languageprogramming-languagecpp+ 5ethereumblockchainsolidityhacktoberfestsmartcontracts

  C++

  •

  GNU General Public License v3.0

  •6.2k•25k•569•73•Updated Oct 22, 2025Oct 22, 2025

• hevm

  Public
  Symbolic and concrete EVM execution engine

  Haskell

  •

  GNU Affero General Public License v3.0

  •67•312•55•6•Updated Oct 22, 2025Oct 22, 2025

• sourcify

  Public
  Source code verification service for Ethereum smart contracts

  ethereumsmart-contractsverification+ 3solidityvypersource-code-verification

  TypeScript

  •

  MIT License

  •487•874•103•0•Updated Oct 22, 2025Oct 22, 2025

• solidity-website

  Public
  JavaScript

  •

  Other

  •24•29•2•8•Updated Oct 21, 2025Oct 21, 2025

• solcore

  Public
  experimental solidity compiler

  Haskell

  •2•41•20•9•Updated Oct 21, 2025Oct 21, 2025

• solc-bin

  Public
  This repository contains current and historical builds of the Solidity Compiler.

  JavaScript

  •

  GNU General Public License v3.0

  •420•425•0•5•Updated Oct 21, 2025Oct 21, 2025

• fe

  Public
  Emerging smart contract language for the Ethereum blockchain.

  Rust

  •

  Apache License 2.0

  •209•1.7k•99•21•Updated Oct 15, 2025Oct 15, 2025

• act

  Public
  Smart contract specification language

  Haskell

  •

  GNU Affero General Public License v3.0

  •45•252•35•4•Updated Oct 13, 2025Oct 13, 2025

• argot.org

  Public
  Website for the Argot Collective

  TypeScript

  •

  MIT License

  •0•4•0•0•Updated Sep 15, 2025Sep 15, 2025

• solc-js

  Public
  Javascript bindings for the Solidity compiler

  compilerethereumsolidity+ 1hacktoberfest

  TypeScript

  •

  MIT License

  •497•1.5k•56•17•Updated Aug 27, 2025Aug 27, 2025

• assets

  Public
  Brand assets for the Argot Collective

  0•0•0•0•Updated Aug 21, 2025Aug 21, 2025

• solidity-fuzzing-corpus

  Public
  Solidity

  •

  GNU General Public License v3.0

  •7•17•1•0•Updated Feb 19, 2025Feb 19, 2025

• solidity-underhanded-contest

  Public
  Website for the Underhanded Solidity Contest

  Solidity

  •

  Other

  •24•169•0•0•Updated Nov 22, 2024Nov 22, 2024

• solidity-summit

  Public
  Website of the Solidity Summit conference series

  CSS

  •

  Other

  •15•27•0•0•Updated Jul 24, 2023Jul 24, 2023

• solidity-blog

  Public archive
  Collection of articles about the Solidity language and compiler

  HTML

  •

  MIT License

  •29•61•9•3•Updated 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

  •

  MIT License

  •11•14•6•1•Updated Jul 12, 2023Jul 12, 2023

• yul-isabelle

  Public
  Isabelle

  •

  BSD 2-Clause "Simplified" License

  •5•41•0•1•Updated Nov 21, 2022Nov 21, 2022

• fv-blog

  Public archive
  Archive of the Formal Verification blog

  HTML

  •

  MIT License

  •6•3•0•1•Updated Dec 1, 2021Dec 1, 2021

• solidity-buildpack-deps

  Public
  Source files for docker images used to build the Solidity compiler.

  Dockerfile

  •5•3•0•0•Updated Jun 23, 2020Jun 23, 2020