PinnedLoading

1. SecPriv/webspecSecPriv/webspecPublic

   Towards Machine-Checked Analysis of Browser Security Mechanisms

   OCaml 11

2. SecPriv/web-platform-threatsSecPriv/web-platform-threatsPublic

   Web Platform Threats: Automated Detection of Web Security Issues With WPT

   JavaScript 2

3. secgroup/fwssecgroup/fwsPublic

   Language-independent Synthesis of Firewall Policies

   Haskell 25 8

4. forth-lispforth-lispPublic

   A prolog compiler written in lisp, written in forth.

   Forth 3

5. bmcbmcPublic

   BMC-based non-linear horn clauses solver based on z3py

   Python 1

6. emacs-vimcryptemacs-vimcryptPublic

   VIM encryption for emacs

   Emacs Lisp 3 1