Skip to content


  • Arctic Code Vault Contributor



Popular repositories

  1. Bitcoin Mempool Statistics

    JavaScript 213 64

  2. Forked from rpcope1/Hantek6022API

    Hantek 6022BE Python API for Windows and Linux.

    Assembly 7 2

  3. Forked from trezor/trezor-mcu

    Sources for TREZOR firmware

    C 4 1

  4. Icfp Contest 2011 - Submission Joho

    Haskell 1

  5. Forked from ultimate-pa/smtinterpol

    SMTInterpol interpolating SMT solver


238 contributions in the last year

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

Contribution activity

November 2020

jhoenicke has no activity yet for this period.

October 2020

Created a pull request in SMT-COMP/ that received 1 comment

Added experimental flag for division-wide results

... and change the presentation of the division-wide scoring. The automatically generated files were edited by hand for now. It may be useful to al…

+68 −6 1 comment

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

You can’t perform that action at this time.