luminousfennell

University of FreiburgFreiburg, Germany

Pinned Repositories

dired-dtach
Utilities to spawn commands with dtach from dired
Language:Emacs Lisp00
dot-emacs
My emacs configuration
Language:Emacs Lisp00
funfr-agda
Source code for Fun-FR Agda Tutorials
Language:Agda00
Informatik-III-Theoretische-Informatik
Vorlesungsskript / -mitschrieb zu Informatik III - Theoretische Informatik, gehalten von Prof. Dr. Peter Thiemann im WS 2014/15
Language:TeX00
jgs
Gradual Java
Language:Java10
jmail
A java mail client
Language:Java00
LJGS
Formalization of Lightweight Java with Gradual Security
Language:Coq01
monopoly
Example development for lecture
Language:Java00
polybta
Formalization of Polymorphic Binding-Time Analysis
Language:Agda12
soot-miniworkshop
Sources for our internal soot mini workshop
Language:Java10

luminousfennell/jgs
Gradual Java
Language:Java10
luminousfennell/polybta
Formalization of Polymorphic Binding-Time Analysis
Language:Agda12
luminousfennell/soot-miniworkshop
Sources for our internal soot mini workshop
Language:Java10
luminousfennell/dired-dtach
Utilities to spawn commands with dtach from dired
Language:Emacs Lisp00
luminousfennell/dot-emacs
My emacs configuration
Language:Emacs Lisp00
luminousfennell/funfr-agda
Source code for Fun-FR Agda Tutorials
Language:Agda00
luminousfennell/Informatik-III-Theoretische-Informatik
Vorlesungsskript / -mitschrieb zu Informatik III - Theoretische Informatik, gehalten von Prof. Dr. Peter Thiemann im WS 2014/15
Language:TeX00
luminousfennell/jmail
A java mail client
Language:Java00
luminousfennell/LJGS
Formalization of Lightweight Java with Gradual Security
Language:Coq01
luminousfennell/monopoly
Example development for lecture
Language:Java00
luminousfennell/mtc-smallstep
Try to use MTC for a simple smallstep developement
Language:Coq
luminousfennell/pointex
Point extractor for Daphne
Language:HTML
luminousfennell/scribble-latex-utils
Different useful things I have come up with to write my papers in scribble rather than directly in LaTeX
Language:Racket