Block or report user

Organizations

@uwplse

Popular repositories

  1. bagpipe

    BGP Policy Verification

    Coq 23 2

  2. SpaceSearch

    Coq 7 1

  3. Brainfuck-Processor

    A simple brainfuck processor implemented in VHDL.

    VHDL 6

  4. Lotse

    Visualizes GPS information. Features points of interests, wayfinding (without a map) and a cool visual radar overview. Great for geocaching, not so great for driving.

    Python 4

  5. Wallet

    Android Wallet App

    Java 4 4

  6. WebCharts

    Simple but good looking Webbrowser Chart library.

    JavaScript 3

410 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

September 2017

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