luminousfennell/funfr-agda
Source code for Fun-FR Agda Tutorials
Developer Profile
luminousfennell
Discovered public repositories for luminousfennell in the GitHub catalog.
luminousfennell/dot-emacs
My emacs configuration
luminousfennell/dired-dtach
Utilities to spawn commands with dtach from dired
luminousfennell/mtc-smallstep
Try to use MTC for a simple smallstep developement
luminousfennell/LJGS
Formalization of Lightweight Java with Gradual Security
luminousfennell/polybta
Formalization of Polymorphic Binding-Time Analysis
luminousfennell/soot-miniworkshop
Sources for our internal soot mini workshop
luminousfennell/monopoly
Example development for lecture