Block or report user

Popular repositories

  1. RelationExtraction

    Inductive relations extraction plugin for Coq

    OCaml 3 4

  2. hashcode2016

    Python 2

  3. mBot

    My programs for the mBot robot from


  4. single_rotation

    Single rotation cellular automaton with processing


  5. safer-rancher

    Forked from weyield/safer-rancher

    Backup script for rancher written in GO


  6. arduino_experiments

    My experiments with the Arduino Uno board and some electronic components

190 contributions in the last year

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

Contribution activity First pull request First repository Joined GitHub

February 2018

picnic has no activity yet for this period.

January 2018

5 contributions in private repositories Jan 23 – Jan 30

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