Skip to content
View runmingl's full-sized avatar
🌍
🌍
72 followers · 158 following

Highlights

  • Pro

Organizations

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

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.

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
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. dprlrdprlrPublic

    Directed proof-relevant logical relations in simplicial HoTT

    Agda 10 1

  2. calfproject/agda-calfcalfproject/agda-calfPublic

    A cost-aware logical framework, embedded in Agda.

    Agda 79 5

  3. istari-stcistari-stcPublic

    Mechanization of Synthetic Tait Computability in Istari

    9 1

  4. stopstopPublic

    Formalization of Big-Stop Semantics (and small-step and big-step semantics) of PCF in Agda

    Agda 3 1

  5. agda-calfagda-calfPublic

    Forked from calfproject/agda-calf

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

    Agda