Skip to content
View runmingl's full-sized avatar
🌍
🌍
67 followers · 157 following

Highlights

  • Pro

Organizations

@hypefortypes @15-150 @15-312 @15-317

Block or report runmingl

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
runmingl/README.md

Hi there 👋

🔭 I'm a graduate student at School of Computer Science, Carnegie Mellon University.

✨ My research interests are in type theory, programming language theory, and logic.

Runming's GitHub stats

Pinned Loading

  1. istari-stc istari-stc Public

    Mechanization of Synthetic Tait Computability in Istari

    4

  2. stop stop Public

    Formalization of Big-Stop Semantics

    Agda 2

  3. HarrisonGrodin/agda-calf HarrisonGrodin/agda-calf Public

    A cost-aware logical framework, embedded in Agda.

    Agda 65 4

  4. agda-calf agda-calf Public

    Forked from HarrisonGrodin/agda-calf

    A verified cost analysis of joinable red-black trees in calf, embedded in Agda.

    Agda