Username:
aldrich....@gmail.com
Starred developers:
None
| Projects |
|---|
| Role | Project | Summary |
|---|---|---|
| Owner | crystalsaf | Crystal: A static analysis framework for education and research |
| Owner | erl | Error Reporting Logic |
| Owner | pluralism | Modular object protocol checking for Java |
| Owner | sasylf | SASyLF is an educational proof assistant for reasoning about programs, programming languages, and logics |
| Contributor | fusion | Framework Usage SpecificatIONs |