Skip to content
View matthewhague's full-sized avatar

Block or report matthewhague

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. sat-css-tool sat-css-tool Public

    Minify CSS files through refactoring

    Python 260 2

  2. css-analyser css-analyser Public

    Forked from dmazinanian/css-analyser

    CSS analysis tool

    Java

  3. css-builder css-builder Public

    Builds abstract model of CSS files to help with analysis -- constructs dependencies between declarations

    Python

  4. oink oink Public

    Forked from trolando/oink

    Oink, an implementation of modern parity game solvers

    C++

  5. compsci-superbasics compsci-superbasics Public

    Forked from RHUL-CS-Projects/compsci-superbasics

    GitHub-pages hosted minisite with helpful superbasic info for students in CompSci labs (Foundation and CS1811/22)

    JavaScript

  6. rbpushdown rbpushdown Public

    Model-checking pushdown systems with reversal-bounded counters via Presburger arithmetic.

    C