+
Skip to content

@argotorg Argot Collective

Change the repository type filter

All

    Repositories list

    19 repositories

    • hevm

      Public
      Symbolic and concrete EVM execution engine
      Haskell
      •
      GNU Affero General Public License v3.0
      •67•312•54•7•Updated Oct 11, 2025Oct 11, 2025

    • solidity

      Public
      Solidity, the Smart Contract Programming Language
      cppblockchainhacktoberfestsmartcontractslanguageprogramming-languageethereumsolidity
      C++
      •
      GNU General Public License v3.0
      •6.2k•25k•569•80•Updated Oct 11, 2025Oct 11, 2025

    • sourcify

      Public
      Source code verification service for Ethereum smart contracts
      ethereumsmart-contractsverificationsolidityvypersource-code-verification
      TypeScript
      •
      MIT License
      •483•872•105•1•Updated Oct 9, 2025Oct 9, 2025

    • solcore

      Public
      experimental solidity compiler
      Haskell
      •2•32•16•6•Updated Oct 9, 2025Oct 9, 2025

    • solidity-website

      Public
      JavaScript
      •
      Other
      •24•29•2•8•Updated Oct 1, 2025Oct 1, 2025

    • fe

      Public
      Emerging smart contract language for the Ethereum blockchain.
      Rust
      •
      Apache License 2.0
      •209•1.7k•99•20•Updated Sep 30, 2025Sep 30, 2025

    • solc-bin

      Public
      This repository contains current and historical builds of the Solidity Compiler.
      JavaScript
      •
      GNU General Public License v3.0
      •420•423•0•5•Updated Sep 27, 2025Sep 27, 2025

    • act

      Public
      Smart contract specification language
      Haskell
      •
      GNU Affero General Public License v3.0
      •44•251•35•3•Updated Sep 16, 2025Sep 16, 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
      hacktoberfestcompilerethereumsolidity
      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
    点击 这是indexloc提供的php浏览器服务，不要输入任何密码和下载