Block or report user

Popular repositories

  1. pasv

    The Pascal-F Verifier

    Common Lisp 24 3

  2. nqthm

    nqthm - the original Boyer-Moore theorem prover, from 1992

    Common Lisp 23 1

  3. certscan

    SSL/TLS certificate analyzer for U. Michigan certificate scans

    Go 8

  4. uarm_util

    ROS (Robot Operating System) minimal support for the Evol UArm

    Python 5 1

  5. ttyloopdriver

    Hardware device for driving antique Teletype machines

    AGS Script 5 1

  6. rust-rssclient

    Basic RSS/Atom client library for Rust.

    Rust 2

207 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

January 2018

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