https://github.com/runmingl/runmingl

https://github.com/runmingl/runmingl

Last synced: 5 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/runmingl/runmingl
• Owner: runmingl
• Created: 2022-01-03T20:45:21.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2024-09-08T03:07:37.000Z (almost 2 years ago)
• Last Synced: 2025-01-22T16:49:47.238Z (over 1 year ago)
• Size: 3.91 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
### 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](https://github-readme-stats.vercel.app/api?username=runmingl&show_icons=true&count_private=true)