Skip to content
Block or report user

Report or block Carotti

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
  • London

Popular repositories

  1. dummy-compiler

    Simple coq dummy compiler for playing with proofs about logging

    Coq 1

  2. mips-cpu-simulator

    Computer Architecture II Project


  3. langproc-2016-lab

    Forked from LangProc/langproc-2017-lab


  4. langproc-2016-cw

    Forked from LangProc/langproc-2016-cw


  5. caros

    A very simple operating system


  6. huffman-encoder

    Implementation of huffman encoding in C++


223 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri
Activity overview
Contributed to Carotti/hardmark_gfx, Carotti/hardmark, Carotti/dummy-compiler and 5 other repositories

Contribution activity

March 2019

19 contributions in private repositories Mar 1 – Mar 17

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

You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.