leeN

project-foxhound-builder

Script to build project foxhound with playwright integration.

Paper-Linter

A script to check for common mistakes in LaTeX source files of scientific papers.

CLIPS

Mirror of the CLIPS subversion repository (http://sourceforge.net/p/clipsrules/code/HEAD/tree/) to use it as a submodule.

FP-tracer

grobid

A machine learning software for extracting information from scholarly documents

playwright

Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.

project-fontus

Dynamic tainting framework for Java applications leveraging on-the-fly bytecode rewriting.

project-foxhound

A web browser with dynamic data-flow tracking enabled in the Javascript engine and DOM, based on Mozilla Firefox (https://github.com/mozilla/gecko-dev). It can be used to identify insecure data flows or data privacy leaks in client-side web applications.

pygments-custom-cpplexer

A custom C++-lexer for Pygments

Rofication

My notification system

top4grep

find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)

wpt

Test suites for Web platform specs — including WHATWG, W3C, and others