Pinned

1. CS Public

   Counter-Strike implementation in JavaScript

   JavaScript 85 10

2. Hook Public

   Lightweight API hooking framework for the Windows API

   C++ 28 23

3. Parse Public

   Compile time (LR) parser generator for C++

   C++ 7 3

4. 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 Public

   Verified implementation of Brzozowski derivatives in Idris

   Idris 8 1

6. ql Public

   Forked from github/codeql

   The libraries and queries that power CodeQL and LGTM.com

   CodeQL