ScottWe

solidity-to-cmodel

SmartACE prototype (deprecated): moved to the contract-ace github organization.

smartace-examples

coxeter

Miscellaneous utilities for working with Coxeter groups.

exceptional_verification_tests

A collection of verification tests which result in (have resulted in) exception results.

gitignore

A collection of useful .gitignore templates

karplus

Lofi meets high tech.

kue-test

A simple test to see how Kue handles job limits when distributed across multiple processes.

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

SeaHorn Verification Framework

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

solintent

Inferring necessary preconditions from Solidity smart contracts.

symbaudio

A set of audio analysis and compression tools, built with signal theory and symbolic computation in mind.

test

Temporary repo for debugging OpenShift

verx-benchmarks