Skip to content


  • Arctic Code Vault Contributor


  1. Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone

    C 67 21

  2. Forked from qemu/qemu

    OLD qemu with Raspberry Pi 2 and Windows on ARM support. Retained for reference purposes only -- most of this has been merged upstream.

    C 65 25

  3. Extracts and formats text annotations from a PDF file

    Python 134 41

  4. Download tool for photo albums on Bloomz


74 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Activity overview
Contributed to 0xabu/pdfannots, kohler/hotcrp, microsoft/terminal and 1 other repository

Contribution activity

May - October 2020

0xabu has no activity yet for this period.

April 2020

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

You can’t perform that action at this time.