WinterPlum's repositories
solidity
Solidity, the Contract-Oriented Programming Language
Language:C++GPL-3.0000
oyente
An Analysis Tool for Smart Contracts
Language:JavaScriptGPL-3.0000
opencart
A free shopping cart system. OpenCart is an open source PHP-based online e-commerce solution.
Language:PHPNOASSERTION000
openmrs-core
OpenMRS API and web application code
Language:JavaNOASSERTION000
Language:Ruby000
Language:Shell000
acidrain
2AD analysis prototype and logs from sample applications
Language:PythonApache-2.0000
Language:Java000
z3
The Z3 Theorem Prover
Language:C++NOASSERTION000
Language:Java000
WALA
T.J. Watson Libraries for Analysis
Language:Java000
Language:Java000
Language:Java000
Language:C++000
muse
muse
Language:TeX000
Language:Coq000
safe
SAFE static analysis tools
Language:Java000
software-foundations
Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.
Language:Coq000