Ph.D. Candidate in Computer Science at Purdue University. I design and prove safety properties about novel programming languages and type systems.
- Purdue University
- West Lafayette, IN
Pinned Loading
- COS382_PXX_Simple_Calendar_Language
COS382_PXX_Simple_Calendar_Language PublicA domain specific language to help create icalendar files
Java
- strata-org/Strata
strata-org/Strata Public
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
Uh oh!
There was an error while loading. Please reload this page.




