https://github.com/typetools/checker-framework.demos

Demos for the Checker Framework
https://github.com/typetools/checker-framework.demos

Last synced: 6 months ago
JSON representation

Demos for the Checker Framework

• Host: GitHub
• URL: https://github.com/typetools/checker-framework.demos
• Owner: typetools
• Created: 2015-07-03T11:09:17.000Z (about 11 years ago)
• Default Branch: master
• Last Pushed: 2025-09-28T04:23:18.000Z (9 months ago)
• Last Synced: 2025-09-28T06:16:57.499Z (9 months ago)
• Language: Java
• Homepage: http://checkerframework.org/
• Size: 44.4 MB
• Stars: 5
• Watchers: 17
• Forks: 9
• Open Issues: 0
• Metadata Files:
  • Readme: README

Awesome Lists containing this project

README

          
This repository contains demos of the Checker Framework

that have been presented at various conferences.

The Encrypted Checker Demo from JavaOne 2016 can be found at

https://github.com/typetools/checker-framework/tree/master/docs/examples/subtyping-extension