Pinned Loading

1. GeneralRGSep GeneralRGSep Public

   Implementation of a Generic RGSep based on Permission Algebras

   Isabelle

2. kuifje-compiler kuifje-compiler Public

   Forked from HDSpray/Kuifje

   An imperative language for quantitative information flow.

   Haskell 5 1

3. term_check term_check Public

   Termination checking for recursive functions

   Haskell 2

4. electoral-college-analysis electoral-college-analysis Public

   A mathematical analysis of the US Electoral College

   Mathematica