Skip to content
View jdoughertyii's full-sized avatar

Block or report jdoughertyii

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. PyVCF PyVCF Public

    A Variant Call Format reader for Python.

    Python 73 224

  2. hott-species hott-species Public

    Combinatorial species in HoTT

    Coq 12

  3. hott-exercises hott-exercises Public

    Exercises from The HoTT Book by hand and by Coq

    Coq 10 1

  4. LaTeX-Box LaTeX-Box Public

    Forked from LaTeX-Box-Team/LaTeX-Box

    Lightweight Toolbox for LaTeX - New Official repository

    Vim Script

  5. HoTT HoTT Public

    Forked from HoTT/Coq-HoTT

    Homotopy type theory

    Coq