Skip to content
View ahubers's full-sized avatar

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.

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

Pinned Loading

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

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

    HTML 1

  2. ahubers.github.io ahubers.github.io Public

    HTML 3

  3. 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 8

  4. OSUrobotics/cmvision_3d OSUrobotics/cmvision_3d Public

    This python package extends the cmvision package to track color blobs in the tf tree.

    Python 3 4

  5. IaFP/ghc IaFP/ghc Public

    A slightly more Glorious Haskell Compiler

    Haskell 2