Scott Wesley's repositories
solidity-to-cmodel
SmartACE prototype (deprecated): moved to the contract-ace github organization.
coxeter
Miscellaneous utilities for working with Coxeter groups.
MIT000
exceptional_verification_tests
A collection of verification tests which result in (have resulted in) exception results.
llvm-seahorn
LLVM components that are modified for SeaHorn
qsp-staking-protocol
Quantstamp staking protocol
quantum-gap
QAP utilities for quantum information and quantum computation.
quoptimize
Tools and utilities for mathematical optimization on a universal quantum computer.
react-chrome-extension
A test for building a Chrome extension using React
seahorn.github.io
github-pages repository
self-referential-node-git
Test of using NodeGit to modify the repository it is run from
solidity-latex-highlighting
Include nice-looking Solidity examples into LaTeX files