michael-emmi/michael-emmi.github.io
Public repository.
Developer Profile
michael-emmi
Discovered public repositories for michael-emmi in the GitHub catalog.
michael-emmi/violin-experiments
Public repository.
michael-emmi/bam-bam-boogieman
Boogie AST Manipulator
michael-emmi/sync-aware-experiments
Public repository.
michael-emmi/auto-commit
Public repository.
michael-emmi/ipod-extraction
Public repository.
michael-emmi/homebrew-mje
Public repository.
michael-emmi/imdea-controls
A script to control the room temperature and blinds at the IMDEA Software Institute.
michael-emmi/printlncs
Save paper by printing every two pages of LNCS proceedings on a single page, without scaling.
michael-emmi/c2s-ocaml
Public repository.