Skip to content
View josh-hs-ko's full-sized avatar
43 followers · 0 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report josh-hs-ko

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. FLOLAC-14 FLOLAC-14 Public

    Type Theory and Logic lectures for FLOLAC’14

    TeX 10 4

  2. Thesis Thesis Public

    Analysis and synthesis of inductive families

    Agda 6 1

  3. josh-hs-ko.github.io josh-hs-ko.github.io Public

    Personal website

    HTML 4

  4. dissertation dissertation Public

    Analysis and synthesis of inductive families (DPhil dissertation)

    TeX 2

  5. lhs2tex lhs2tex Public

    Forked from kosmikus/lhs2tex

    Preprocessor for typesetting Haskell sources with LaTeX

    Haskell 2

  6. NDGP NDGP Public

    Forked from Zekt/Type-Embellishment

    Datatype-generic programming meets elaborator reflection

    TeX 2 1