Skip to content
Block or report user

Report or block io12

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse


  1. The 3D voxel falling-sand game

    Rust 5

  2. The Quoft Programming Language Compiler

    C 4 1

  3. A derivative calculator and equation simplifier in Python.

    Python 3

  4. Lambda calculus REPL written in C

    C 3

  5. My proofs for the Coq proof assistant

    Coq 1

  6. A simple OS in C

    C 5

282 contributions in the last year

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

Contribution activity

May 2019

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

You can’t perform that action at this time.