Skip to content


  • Pro


  1. Simple Intel VT-x type-2 hypervisor for 64-bit Linux.

    C 3 1

  2. Alternative implementation of the research architecture Sigma16 with optional Python bindings and tooling.

    C 3

  3. λ-calculus calculus solver capable of β-reduction and α-conversion, written in C.

    C 3 3

  4. Implementation of Brainfuck in pure x86_64 assembly (no libc).

    Brainfuck 1

  5. SAT solver implemented in Python.

    Python 1

377 contributions in the last year

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

Contribution activity

February 2021

Created 3 repositories
Opened 1 pull request in 1 repository
1 merged
Reviewed 1 pull request in 1 repository
birb007/lambda 1 pull request
Opened 1 issue in 1 repository
1 open

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