Quentin Garchery's repositories
hack-smart-contract
Smart contracts to practice your (WH) hacking skills.
AGPL-3.0000
Language:Solidity000
halmos
Symbolic bounded model checker for Ethereum smart contracts
Language:PythonAGPL-3.0000
incredible
The Incredible Proof Machine
MIT000
smtcoq-1
Communication between Coq and SAT/SMT solvers
Language:OCamlNOASSERTION000
solidity
Solidity, the Smart Contract Programming Language
Language:C++GPL-3.0000
starport-whitepaper
Whitepaper for the Starport Lending Kernel and Astaria v1
000
Language:TeX000