michael-emmi

Amazon Web ServicesNew York

Pinned Repositories

2up
Save paper by printing every two pages on a single page.
Language:Shell1 2 10
auto-commit
Language:Ruby1 2 00
bam-bam-boogieman
Boogie AST Manipulator
Language:Boogie4 4 06
bibly
Convert dblp keys into BibTeX entries.
Language:TypeScript5 3 32
c2s-ocaml
Language:OCaml1 3 12
ct-fuzz
Language:C++9 4 140
ct-verif-images
Language:Shell4 2 10
ctverif
Language:JavaScript5 2 60
imdea-controls
A script to control the room temperature and blinds at the IMDEA Software Institute.
Language:Ruby2 3 11
violat
Language:TypeScript10 3 63

michael-emmi's Repositories

michael-emmi/violat
Language:TypeScript10 3 63
michael-emmi/ct-fuzz
Language:C++9 4 140
michael-emmi/bibly
Convert dblp keys into BibTeX entries.
Language:TypeScript5 3 32
michael-emmi/ctverif
Language:JavaScript5 2 60
michael-emmi/bam-bam-boogieman
Boogie AST Manipulator
Language:Boogie4 4 06
michael-emmi/ct-verif-images
Language:Shell4 2 10
michael-emmi/imdea-controls
A script to control the room temperature and blinds at the IMDEA Software Institute.
Language:Ruby2 3 11
michael-emmi/2up
Save paper by printing every two pages on a single page.
Language:Shell1 2 10
michael-emmi/auto-commit
Language:Ruby1 2 00
michael-emmi/c2s-ocaml
Language:OCaml1 3 12
michael-emmi/homebridge-smartrent
🏠 Homebridge plugin for SmartRent installations
Language:TypeScript1 1 0
michael-emmi/ipod-extraction
Language:Ruby1 2 0
michael-emmi/printlncs
Save paper by printing every two pages of LNCS proceedings on a single page, without scaling.
Language:JavaScript1 2 0
michael-emmi/cci
Common Compiler Infrastructure
Language:C#0 2 01
michael-emmi/async-graph-builder
Language:TypeScript1 0
michael-emmi/Bear
Build EAR
Language:C2 0
michael-emmi/cyclist
Language:Ruby2 0
michael-emmi/get-unsat-proof
Language:JavaScript2 0
michael-emmi/homebrew-mje
Language:Ruby2 0
michael-emmi/issta2018-benchmarks-wu
Language:Shell4 01
michael-emmi/jpf-trace-reader
Language:TypeScript2 0
michael-emmi/language-boogie
Syntax highlighting for Microsoft's Boogie verification language to be used with the Atom text editor.
Language:CoffeeScript2 0
michael-emmi/michael-emmi.github.io
Language:HTML2 0
michael-emmi/monitoring-weak-consistency-cav-talk
2 0
michael-emmi/research-papers
2 0
michael-emmi/soot
Soot - A Java optimization framework
Language:Java1 0
michael-emmi/sync-aware-experiments
Language:Ruby3 0
michael-emmi/violat-artifact
Language:Shell2 0
michael-emmi/violin-experiments
Language:C4 0
michael-emmi/whittle
Language:Ruby2 0