Skip to content
View jacoborous's full-sized avatar
1 follower · 13 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report jacoborous

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. SDS200_Data SDS200_Data Public

    Data obtained (including device firmware) from a Uniden Bearcat SDS200 radio receiver.

    1

  2. formal-types formal-types Public

    A work-in-progress, personal development project to understand Homotopy Type Theory. Implementation is mainly in Haskell.

    Haskell

  3. ml-types-categ-papers ml-types-categ-papers Public

    A repository for links to papers that relate to mathematics, logic, type theory, category theory, AI, or anything at all that interests me.

  4. ncov_incubation ncov_incubation Public

    Forked from HopkinsIDD/ncov_incubation

    Estimating the incubation time of the novel coronavirus (nCoV-2019) based on traveler data using coarse data tools

  5. exportvar exportvar Public

    A simple bash utility to make managing environment variables a little bit easier.

    Shell

  6. web2pdf web2pdf Public

    Let's try to figure out why it's so hard to convert a web-page into a PDF!

    Shell