Pinned Repositories
alpaca
An instantiation of the Alternating Conditional Analysis framework.
BarCrawlr
CS 188 App
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
bootstrap-navbar-sidebar
Bootstrap navbars fixed to left or right
complogic-s21
Computational Logic For All
cpachecker
Graves, Graph-based Verifier Selector
cs-pui.github.io
A resource for CS faculty positions at primarily-undergraduate institutions
graph-builder
Build graphs from programs
graves
Graves - Graph Attention Verifier Selector
sibyl
An adaptive, Graph Neural Network Based solver selector for SMT queries
will-leeson's Repositories
will-leeson/graves
Graves - Graph Attention Verifier Selector
will-leeson/sibyl
An adaptive, Graph Neural Network Based solver selector for SMT queries
will-leeson/BarCrawlr
CS 188 App
will-leeson/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
will-leeson/bootstrap-navbar-sidebar
Bootstrap navbars fixed to left or right
will-leeson/complogic-s21
Computational Logic For All
will-leeson/cpachecker
Graves, Graph-based Verifier Selector
will-leeson/cs-pui.github.io
A resource for CS faculty positions at primarily-undergraduate institutions
will-leeson/CS1010
A repository to house the CS1010 website and its materials
will-leeson/graph-builder
Build graphs from programs
will-leeson/DryadSynth
A SyGuS Solver
will-leeson/esbmc
The efficient SMT-based bounded model checker
will-leeson/GameGame
CS 188 Game
will-leeson/klee
KLEE Symbolic Execution Engine
will-leeson/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
will-leeson/MachSMT
will-leeson/medley-solver
will-leeson/metaSMT
will-leeson/pycparser
:snake: Complete C99 parser in pure Python
will-leeson/pytorch_geometric
Graph Neural Network Library for PyTorch
will-leeson/will-leeson.github.io
Personal Website