Pinned Repositories
boogie-friends
Tools for interacting with Boogie
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:
pys.github.io
My Github Web page (minimal)
tryalgo
Basic and advanced algorithms and data structures
pys's Repositories
pys/pys.github.io
My Github Web page (minimal)
pys/tryalgo
Basic and advanced algorithms and data structures