matthewhague

Pinned Repositories

compsci-superbasics
GitHub-pages hosted minisite with helpful superbasic info for students in CompSci labs (Foundation and CS1811/22)
Language:JavaScript00
css-analyser
CSS analysis tool
Language:Java00
css-builder
Builds abstract model of CSS files to help with analysis -- constructs dependencies between declarations
Language:Python00
oink
Oink, an implementation of modern parity game solvers
Language:C++0 0 00
ostrich
An SMT Solver for string constraints
Language:Scala00
rbpushdown
Model-checking pushdown systems with reversal-bounded counters via Presburger arithmetic.
Language:C00
sat-css-tool
Minify CSS files through refactoring
Language:Python260 2 12
ExampleCS1822Repository
An example repository for showing during CS1822 lectures
Language:Java12
ostrich
An SMT Solver for string constraints
Language:Scala33 3 478
slreplace
Language:TeX1 6 183

matthewhague's Repositories

matthewhague/sat-css-tool
Minify CSS files through refactoring
Language:Python260 2 12
matthewhague/compsci-superbasics
GitHub-pages hosted minisite with helpful superbasic info for students in CompSci labs (Foundation and CS1811/22)
Language:JavaScript00
matthewhague/css-analyser
CSS analysis tool
Language:Java00
matthewhague/css-builder
Builds abstract model of CSS files to help with analysis -- constructs dependencies between declarations
Language:Python00
matthewhague/oink
Oink, an implementation of modern parity game solvers
Language:C++0 0 00
matthewhague/ostrich
An SMT Solver for string constraints
Language:Scala00
matthewhague/rbpushdown
Model-checking pushdown systems with reversal-bounded counters via Presburger arithmetic.
Language:C00