Pinned Repositories
Java-JML
JMLKelinci
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
follow-grammar
texmf
A TeX/MF tree for use with papers. Most useful is a set of bibliography files in bibtex/bib/misc/.
WhileLang
The WHILE language as used in several Programming Language texts, here for a course in program analysis at UCF
OpenJML
This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:
OpenJMLDemo
Specs
Contains the specifications for the Java language used by OpenJML.
leavens's Repositories
leavens/WhileLang
The WHILE language as used in several Programming Language texts, here for a course in program analysis at UCF
leavens/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
leavens/follow-grammar
leavens/texmf
A TeX/MF tree for use with papers. Most useful is a set of bibliography files in bibtex/bib/misc/.