Luminous Fennell's repositories
soot-miniworkshop
Sources for our internal soot mini workshop
dired-dtach
Utilities to spawn commands with dtach from dired
Language:Emacs LispBSD-3-Clause000
dot-emacs
My emacs configuration
Language:Emacs Lisp000
funfr-agda
Source code for Fun-FR Agda Tutorials
Language:Agda000
Informatik-III-Theoretische-Informatik
Vorlesungsskript / -mitschrieb zu Informatik III - Theoretische Informatik, gehalten von Prof. Dr. Peter Thiemann im WS 2014/15
Language:TeXGPL-3.0000
jmail
A java mail client
Language:Java000
LJGS
Formalization of Lightweight Java with Gradual Security
Language:CoqBSD-3-Clause000
monopoly
Example development for lecture
Language:Java000
mtc-smallstep
Try to use MTC for a simple smallstep developement
Language:Coq000
pointex
Point extractor for Daphne
Language:HTML000
scribble-latex-utils
Different useful things I have come up with to write my papers in scribble rather than directly in LaTeX
Language:Racket000