Skip to content

@argotorg Argot Collective

Change the repository type filter

All

    Repositories list

    19 repositories

    • solcore

      Public
      experimental solidity compiler
      Haskell
      •2•31•6•6•Updated Aug 27, 2025Aug 27, 2025

    • hevm

      Public
      Symbolic and concrete EVM execution engine
      Haskell
      •
      GNU Affero General Public License v3.0
      •64•304•53•7•Updated Aug 27, 2025Aug 27, 2025

    • solidity

      Public
      Solidity, the Smart Contract Programming Language
      cppblockchainhacktoberfestsmartcontractslanguageprogramming-languageethereumsolidity
      C++
      •
      GNU General Public License v3.0
      •6.2k•25k•558•72•Updated Aug 27, 2025Aug 27, 2025

    • sourcify

      Public
      Source code verification service for Ethereum smart contracts
      ethereumsmart-contractsverificationsolidityvypersource-code-verification
      TypeScript
      •
      MIT License
      •476•864•96•2•Updated Aug 27, 2025Aug 27, 2025

    • solc-js

      Public
      Javascript bindings for the Solidity compiler
      hacktoberfestcompilerethereumsolidity
      TypeScript
      •
      MIT License
      •494•1.5k•56•17•Updated Aug 27, 2025Aug 27, 2025

    • solc-bin

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

    • solidity-website

      Public
      JavaScript
      •
      Other
      •24•28•2•8•Updated Aug 26, 2025Aug 26, 2025

    • fe

      Public
      Emerging smart contract language for the Ethereum blockchain.
      Rust
      •
      Apache License 2.0
      •202•1.7k•94•22•Updated Aug 25, 2025Aug 25, 2025

    • assets

      Public
      Brand assets for the Argot Collective
      0•0•0•0•Updated Aug 21, 2025Aug 21, 2025

    • argot.org

      Public
      TypeScript
      •
      MIT License
      •1•4•0•0•Updated Aug 21, 2025Aug 21, 2025

    • act

      Public
      Smart contract specification language
      Haskell
      •
      GNU Affero General Public License v3.0
      •44•247•34•2•Updated Jul 23, 2025Jul 23, 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•170•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