Skip to content
View ahubers's full-sized avatar
20 followers · 14 following

Organizations

@OSUrobotics @cedille

Block or report ahubers

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

Pinned Loading

  1. IowaFP/ROmega-ICFP23-artifact IowaFP/ROmega-ICFP23-artifact Public

    Artifact Supplementing ICFP'23 Submission "Generic Programming With Extensible Datatypes"

    HTML 1

  2. astump/dc-recursion-examples astump/dc-recursion-examples Public

    Examples of divide-and-conquer recursion in Coq, based on our POPL 2023 paper "A Type-Based Approach to Divide-and-Conquer Recursion in Coq"

    HTML 10

  3. IowaFP/CategoriesInAgda IowaFP/CategoriesInAgda Public

    Category theory & semantics in Agda

    Agda 1

  4. CLC-UIowa/HoTT CLC-UIowa/HoTT Public

    CLC Homotopy type theory seminar for Fall 2025 / Spring 2026 / Summer 2026

    Agda

  5. IowaFP/Rome IowaFP/Rome Public

    Mechanizations in Agda of various row-typed calculi

    Agda

  6. IowaFP/HindleMilnerInAgda IowaFP/HindleMilnerInAgda Public

    An implementation of Hindley-Milner algorithms M and W for type inference in Agda

    Agda