- GitHub Staff
- Cork, Ireland
Stars
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
Implementations of various type systems in OCaml.
Some evil utilities that runs only on HotSpot