Pinned

1. CS CS Public

   Counter-Strike implementation in JavaScript

   JavaScript 98 11

2. Hook Hook Public

   Lightweight API hooking framework for the Windows API

   C++ 29 23

3. Parse Parse Public

   Compile time (LR) parser generator for C++

   C++ 8 3

4. ni-formal-gc ni-formal-gc Public

   Coq formalization of timing-sensitive noninterference for a garbage collected language with heap and runtime pc level.

   Coq 9 4

5. idris-regex idris-regex Public

   Verified implementation of Brzozowski derivatives in Idris

   Idris 8 1

6. ql ql Public

   Forked from github/codeql

   The libraries and queries that power CodeQL and LGTM.com

   CodeQL