John Dougherty (@jdoughertyii)
github

jdoughertyii

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    94
  • Global Rank 216,703 (Top 8 %)
  • Followers 14
  • Following 1
  • Registered over 13 years ago
  • Most used languages
    Coq     66.7 %
    Python
         33.3 %
  • Location 🇩🇪 Germany
  • Country Total Rank 10,570
  • Country Ranking
    Coq     5
    Python
         2,134

Top repositories

1

PyVCF

A Variant Call Format reader for Python.
Python
73
star
2

hott-species

Combinatorial species in HoTT
Coq
11
star
3

hott-exercises

Exercises from The HoTT Book by hand and by Coq
Coq
10
star