lifeislikethisonly

Pinned Repositories

logical_verification_2020
Companion files for Logical Verification 2020–2021 at VU Amsterdam
Language:Lean00
Vanguard
Houses LLVM static analyzer and detectors for smart contracts
Language:LLVM00
vscode-solidity-auditor
Solidity language support and visual security auditor for Visual Studio Code
Language:JavaScript00

lifeislikethisonly's Repositories

lifeislikethisonly/logical_verification_2020
Companion files for Logical Verification 2020–2021 at VU Amsterdam
Language:Lean00
lifeislikethisonly/Vanguard
Houses LLVM static analyzer and detectors for smart contracts
Language:LLVM00
lifeislikethisonly/vscode-solidity-auditor
Solidity language support and visual security auditor for Visual Studio Code
Language:JavaScript00