Skip to content


  • Arctic Code Vault Contributor


  1. Patchdep: Analyze dependencies between patches


  2. A programmable sudo


  3. structlog with multiple simultaneous logging backends

    Python 2 2

  4. A JavaScript bundle optimizer.

    JavaScript 14.1k 470

  5. The Z3 Theorem Prover

    C++ 5.6k 922

0 contributions in the last year

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

Contribution activity

January - August 2020

sb98052 has no activity yet for this period.

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

You can’t perform that action at this time.