Skip to content


  • Arctic Code Vault Contributor
  • Pro



Popular repositories

  1. a SafariBooksOnline downloader that generates respective .epub books for offline and kindle reading

    HTML 456 111

  2. A Flex Cydia Tweak .dat Parser, generating THEOS hooks for each specified class

    JavaScript 1 1

  3. a simple Weather Application


  4. a simple timer application


  5. a Soundcloud Downloader


  6. a simple todo application


1 contribution in the last year

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

Contribution activity

July - August 2020

nicohaenggi has no activity yet for this period.

June 2020

Opened their first issue on GitHub in Z3Prover/z3

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

You can’t perform that action at this time.