Skip to content


  • Arctic Code Vault Contributor

Popular repositories

  1. Forked from FStarLang/kremlin

    An intermediate language to translate F*'s extraction to C

    OCaml 1 1

0 contributions in the last year

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

Contribution activity

January - July 2020

jkzinzindohoue 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.