Username:
jonathan...@gmail.com
Starred developers:
None
| Projects |
|---|
| Role | Project | Summary |
|---|---|---|
| Owner | aeminium | Æminium Project |
| Owner | neelk-paper-collaborations | This is a source repo to give coauthors access to my LaTeX sources |
| Owner | plaid-lang | The Plaid Programming Language Tools |
| Owner | pluralism | Modular object protocol checking for Java |
| Owner | sasylf | SASyLF is an educational proof assistant for reasoning about programs, programming languages, and logics |