Explore projects

This is a fork from https://github.com/typetools/checker-framework

Type safety proofs for DOT calculi.

Carrier Sense Multiple Access simulation

KOS ("Chaos") is an experimental operating system kernel.