Beast code in Giters

Michael Emmi's repositories

violat

Language:TypeScriptMIT10 3 6

ct-fuzz

Language:C++NOASSERTION9 4 14

bibly

Convert dblp keys into BibTeX entries.

Language:TypeScript5 4 3

ctverif

Language:JavaScript5 2 6

bam-bam-boogieman

Boogie AST Manipulator

Language:BoogieMIT4 40

ct-verif-images

Language:Shell4 2 1

imdea-controls

A script to control the room temperature and blinds at the IMDEA Software Institute.

Language:Ruby2 3 1

2up

Save paper by printing every two pages on a single page.

Language:Shell1 2 1

auto-commit

Language:Ruby1 20

c2s-ocaml

Language:OCamlApache-2.01 3 1

homebridge-smartrent

🏠 Homebridge plugin for SmartRent installations

Language:TypeScriptApache-2.01 10

ipod-extraction

Language:Ruby100

printlncs

Save paper by printing every two pages of LNCS proceedings on a single page, without scaling.

Language:JavaScript1 20

cci

Common Compiler Infrastructure

Language:C#MIT020

async-graph-builder

Language:TypeScript010

Bear

Build EAR

Language:CGPL-3.0020

cyclist

Language:Ruby020

get-unsat-proof

Language:JavaScript020

homebrew-mje

Language:Ruby020

issta2018-benchmarks-wu

Language:Shell040

jpf-trace-reader

Language:TypeScript020

language-boogie

Syntax highlighting for Microsoft's Boogie verification language to be used with the Atom text editor.

Language:CoffeeScriptMIT020

michael-emmi.github.io

Language:HTML020

monitoring-weak-consistency-cav-talk

020

research-papers

020

soot

Soot - A Java optimization framework

Language:JavaLGPL-2.1010

sync-aware-experiments

Language:Ruby030

violat-artifact

Language:Shell020

violin-experiments

Language:C040

whittle

Language:Ruby020