Mathias Vorreiter Pedersen MathiasVP

• GitHub Staff
• Cork, Ireland

Pinned Loading

1. Counter-Strike implementation in JavaScript

   JavaScript 105 11

2. Lightweight API hooking framework for the Windows API

   C++ 31 20

3. Compile time (LR) parser generator for C++

   C++ 9 3

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

   Coq 9 4

5. Verified implementation of Brzozowski derivatives in Idris

   Idris 9 1

6. Forked from github/codeql

   The libraries and queries that power CodeQL and LGTM.com

   CodeQL