Building the critical infrastructure for Ethereum applications.
21
Public repositories
31,347
Total stars
187
Followers
The GitHub presence of Argot Collective, known as argotorg, reflects its commitment to building critical infrastructure for Ethereum applications. Their repositories encompass a wide range of projects, primarily using languages like TypeScript, Haskell, and Solidity. Notable projects include Solidity, the smart contract programming language, and the source code verification service Sourcify.
Top languages
Public repositories
solidity
Solidity, the Smart Contract Programming Language
fe
Emerging smart contract language for the Ethereum blockchain.
solc-js
Javascript bindings for the Solidity compiler
sourcify
Source code verification service for Ethereum smart contracts
solc-bin
This repository contains current and historical builds of the Solidity Compiler.
hevm
Symbolic and concrete EVM execution engine
act
Smart contract specification language
solidity-underhanded-contest
Website for the Underhanded Solidity Contest
solcore
experimental solidity compiler
solidity-blog
Collection of articles about the Solidity language and compiler
yul-isabelle
No description provided for this repository.
solidity-website
No description provided for this repository.
solidity-summit
Website of the Solidity Summit conference series
solidity-fuzzing-corpus
No description provided for this repository.
solidity-portal
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.
solidity-fuzzing
Solidity fuzzing tooling lives here.
solidity-buildpack-deps
Source files for docker images used to build the Solidity compiler.
argot.org
Website for the Argot Collective
fv-blog
Archive of the Formal Verification blog
solc-bench
No description provided for this repository.
assets
Brand assets for the Argot Collective
Frequently asked questions
What does argotorg build on GitHub?
Argotorg develops various projects focused on Ethereum applications. Their notable repositories include Solidity, Sourcify for smart contract verification, and several tools to enhance smart contract development and execution.
Which programming languages does argotorg use?
Argotorg primarily uses TypeScript, Haskell, HTML, C++, JavaScript, and Solidity. This diverse selection supports their development of critical infrastructure and tools for the Ethereum ecosystem.
Are argotorg's repositories public?
Yes, all repositories under the argotorg account are public. This transparency allows the community to access, audit, and contribute to the various projects aimed at enhancing Ethereum applications.
Is this exposure intended?
Monitor Argot Collective with RepoGuard and get alerted the moment a new public repository appears.
Monitor this account