Popular repositories Loading

1. coqatoo coqatoo Public

   Generates natural language versions of Coq proofs

   Java 51 1

2. ott-ifc ott-ifc Public

   Generates information-flow control mechanisms from a language's specification

   Java 2

3. sai sai Public

   Static analysis and instrumentation framework for Android

   Java

4. paper-scout paper-scout Public

   Research library analysis and visualization tool

   HTML

5. ulsifa ulsifa Public

   Secure information-flow analyzer

   OCaml

6. re-app re-app Public

   Turn your local web app in a webview-based desktop application

   Python