Beast code in Giters

Denis Lohner's repositories

Verified Construction of Static Single-Assignment Form

Language:IsabelleNOASSERTION4 30

A LaTeX generating java doclet

Language:Java200

a web frontend for git repositories (unofficial repo)

Language:CGPL-2.0000

The Incredible Proof Machine

Language:HaskellMIT000

Test CI with Isabelle

Language:Isabelle020

quality control for programming assignments

Language:HTMLGPL-2.0000

Sandbox untrusted code using docker

Language:PerlMIT000

Language:Java000

Language:PythonMIT000