- GitHub Staff
- Cork, Ireland
Pinned Loading
-
ni-formal-gc
ni-formal-gc PublicCoq formalization of timing-sensitive noninterference for a garbage collected language with heap and runtime pc level.
-
-
ql
ql PublicForked from github/codeql
The libraries and queries that power CodeQL and LGTM.com
CodeQL
1,708 contributions in the last year
Day of Week | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | May May | June Jun | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Activity overview
Contributed to
github/codeql,
microsoft/codeql,
github/codeql-coding-standards
and 2 other
repositories
Loading
Contribution activity
June 2025
1
contribution
in private repositories
Jun 2