Block or report user

Report or block IvantheTricourne

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. IUCompilerCourse/Essentials-of-Compilation

    A book about compiling Racket to x86-64 assembly

    TeX 145 30

  2. lazywithclass/project-lamp

    Source code for book content and site

    CSS 2 2

  3. HomotopyTypeTheory

    From Indiana University's Homotopy Type Theory course, CSCI-B629 Spring 2016

    Agda

  4. lazywithclass/hermes

    A speed reading app

    Elm

  5. Scheme-Compiler

    From Indiana University's Compilers course, Spring 2015

    Scheme 3 2

  6. IvantheTricourne.github.io

    Blogs, Projects and Toys

    HTML

450 contributions in the last year

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

Contribution activity

August 2018

15 contributions in private repositories Aug 1 – Aug 14

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