Block or report user



Popular repositories

  1. win95-maze-rs

    Windows 95® screensaver maze in Rust with OpenGL.

    Rust 42 1

  2. discogs2pg

    Discogs to PostgreSQL importer

    Haskell 13 3

  3. latexpad

    A LaTeX Scratchpad for sharing.

    JavaScript 12 2

  4. formal-verification-articles

    A collection of articles about formal verification of programs in industry.


  5. imgsort

    Sort pixels in images.

    Rust 5 1

  6. tateti-tateti

    Meta tic-tac-toe ncurses game.

    Haskell 4 1

184 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

May 2018

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