Will Leeson's repositories
BarCrawlr
CS 188 App
Language:Java000
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:PythonApache-2.0000
bootstrap-navbar-sidebar
Bootstrap navbars fixed to left or right
Language:CSSMIT000
complogic-s21
Computational Logic For All
Language:Lean000
cpachecker
Graves, Graph-based Verifier Selector
Language:JavaApache-2.0000
CS1010
A repository to house the CS1010 website and its materials
Language:PythonMIT000
graph-builder
Build graphs from programs
Language:C++GPL-3.0000
DryadSynth
A SyGuS Solver
Language:C++MIT000
esbmc
The efficient SMT-based bounded model checker
Language:CNOASSERTION000
klee
KLEE Symbolic Execution Engine
NOASSERTION000
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.
Language:C++000
logical_verification_2020
Companion files for Logical Verification 2020–2021 at VU Amsterdam
000
000
Language:Python000
MIT000
pycparser
:snake: Complete C99 parser in pure Python
Language:PythonNOASSERTION000
pytorch_geometric
Graph Neural Network Library for PyTorch
Language:PythonMIT000
will-leeson.github.io
Personal Website
Language:JavaScriptMIT000