Pinned Loading

1. phreppo/wstat phreppo/wstat Public

   While language static analyzer

   Haskell 10

2. while-interpreter while-interpreter Public

   While Language Interpreter in Haskell

   Haskell 4

3. noninterference-lean noninterference-lean Public

   A Sound Type System for Secure Flow Analysis coded in Lean

   Lean 1

4. timesec timesec Public

   Timesec: a static analysis tool to sounldy prove timing side-channel freedom over a set of sensititve input variables for C functions

   C 8

5. caterinaurban/Libra caterinaurban/Libra Public

   Python 24 7

6. CoreParser CoreParser Public

   Parser for functional Core Language

   Haskell