Block or report user

Popular repositories

  1. newSAT

    A naive SAT solver in Haskell

    Haskell 3

  2. config-scripts

    Configuration files

    Emacs Lisp 3 1

  3. z80sim

    Forked from LuccoJ/z80sim

    A simulator and debugger for the Z80 processor

    C 1

  4. logic

    Satisfiability, Model checking.

    C 1

  5. music-theory

    Music theory in Python


0 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity First repository Joined GitHub


matthew-ball has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.