Owner
argotorg
13 indexed repositories · View on GitHub
-
solidity
Solidity, the Smart Contract Programming Language
C++ · 25737 stars
-
fe
Emerging smart contract language for the Ethereum blockchain.
Rust · 1733 stars
-
solc-js
Javascript bindings for the Solidity compiler
TypeScript · 1508 stars
-
sourcify
Source code verification service for Ethereum smart contracts
TypeScript · 949 stars
-
hevm
Symbolic and concrete EVM execution engine
Haskell · 358 stars
-
act
Smart contract specification language
Haskell · 279 stars
-
solcore
experimental solidity compiler
Haskell · 113 stars
-
JavaScript · 30 stars
-
Solidity · 17 stars
-
solidity-fuzzing
Solidity fuzzing tooling lives here.
C++ · 9 stars
-
argot.org
Website for the Argot Collective
TypeScript · 5 stars
-
Python · 1 star
-
assets
Brand assets for the Argot Collective
0 stars
-
Fully abstract VM Openenhancement
-
Fe contest Open
argotorg/argot.org#23 · 0 comments · 1 reaction · 0 assignees ·
-
argotorg/solidity-fuzzing#10 · 0 comments · 0 reactions · 0 assignees ·
-
Loop invariants Openenhancement
-
enhancement
-
enhancement
-
enhancement
-
documentation
-
documentation
-
Fixed point types Openenhancement
-
enhancement
-
enhancement
-
Further Refine AST Openenhancement
-
enhancement
-
enhancement
-
Test: JSON Roundtrip Opentests
-
tests
-
bug
-
enhancement
-
Unify Error Handling Openenhancement
-
enhancement
-
enhancement
-
enhancement
-
bug
-
minor
-
minor
-
cff backend Open
-
enhancement good first issue
-
enhancement
-
argotorg/solcore#89 · 2 comments · 0 reactions · 1 assignee ·
-
argotorg/solcore#93 · 2 comments · 0 reactions · 0 assignees ·
-
bug
argotorg/solcore#140 · 1 comment · 0 reactions · 0 assignees ·
-
argotorg/solcore#187 · 2 comments · 0 reactions · 0 assignees ·
-
cleanup
argotorg/solcore#191 · 0 comments · 0 reactions · 0 assignees ·
-
cleanup
argotorg/solcore#193 · 0 comments · 0 reactions · 0 assignees ·
-
Prevent import loops Open
argotorg/solcore#222 · 4 comments · 0 reactions · 0 assignees ·
-
argotorg/solcore#224 · 0 comments · 0 reactions · 0 assignees ·
-
argotorg/solcore#227 · 0 comments · 0 reactions · 1 assignee ·
-
argotorg/solcore#233 · 0 comments · 0 reactions · 0 assignees ·
-
argotorg/solcore#235 · 0 comments · 0 reactions · 0 assignees ·
-
argotorg/solcore#263 · 2 comments · 0 reactions · 0 assignees ·
-
String literals Open
argotorg/solcore#264 · 3 comments · 0 reactions · 0 assignees ·
Showing the newest 100
This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.