Pinned Loading

1. parof/wstat parof/wstat Public

   While language static analyzer

   Haskell 10

2. while-interpreter while-interpreter Public

   While Language Interpreter in Haskell

   Haskell 3

3. parof/protocol-validation parof/protocol-validation Public

   TeX 2

4. noninterference-lean noninterference-lean Public

   A Sound Type System for Secure Flow Analysis coded in Lean

   Lean 1

5. impatto impatto Public

   Impatto: A Static Analyzer for Quantitative Input Data Usage

   Python

6. type-theory.lagda.md type-theory.lagda.md

   1

   # agda

   2

   workbook for TypeTheory course (Maietti, Sambin)

   3

   4

   ```agda

   5

   module TypeTheory where