Czar102's Stars
s-tikhomirov/solidity-latex-highlighting
Include nice-looking Solidity examples into LaTeX files
sphinx-labs/chugsplash-foundry
A Foundry library for deploying and managing upgradeable smart contracts
OffchainLabs/arbitrum-classic
Powers fast, private, decentralized applications
code-423n4/2022-07-golom
huff-language/huffmate
A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.
buttonwood-protocol/tranche
code-423n4/2022-05-opensea-seaport
code-423n4/2022-05-aura
code-423n4/2022-05-cally
Certora/Tutorials
Practical tutorials of Certora Prover
tonowak/acmlib
Code library & pdf for team competitions - University of Warsaw team 1
code-423n4/code423n4.com
code423n4.com source code
byterocket/c4udit
Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests