Popular repositories Loading

1. FormalSSA FormalSSA Public

   Verified Construction of Static Single-Assignment Form

   Isabelle 4

2. texdoclet texdoclet Public

   Forked from MatzeB/texdoclet

   A LaTeX generating java doclet

   Java 2

3. cgit cgit Public

   Forked from qznc/cgit

   a web frontend for git repositories (unofficial repo)

   C

4. isabelle-ci-test isabelle-ci-test Public

   Test CI with Isabelle

   Isabelle

5. Praktomat Praktomat Public

   Forked from KITPraktomatTeam/Praktomat

   quality control for programming assignments

   HTML

6. safe-docker safe-docker Public

   Forked from nomeata/safe-docker

   Sandbox untrusted code using docker

   Perl