Michael Emmi (@michael-emmi)
github

michael-emmi

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    45
  • Global Rank 367,370 (Top 13 %)
  • Followers 43
  • Following 34
  • Registered almost 13 years ago
  • Most used languages
    Ruby
         25.0 %
    JavaScript
         16.7 %
    TypeScript
         16.7 %
    Shell
         16.7 %
    Boogie     8.3 %
    C++
         8.3 %
    OCaml
         8.3 %
  • Location 🇺🇸 United States
  • Country Total Rank 71,149
  • Country Ranking
    Boogie     1
    OCaml
         967
    TypeScript
         7,494

Top repositories

1

violat

TypeScript
10
star
2

ct-fuzz

C++
9
star
3

ctverif

JavaScript
5
star
4

bibly

Convert dblp keys into BibTeX entries.
TypeScript
5
star
5

ct-verif-images

Shell
4
star
6

bam-bam-boogieman

Boogie AST Manipulator
Boogie
4
star
7

imdea-controls

A script to control the room temperature and blinds at the IMDEA Software Institute.
Ruby
2
star
8

c2s-ocaml

OCaml
1
star
9

auto-commit

Ruby
1
star
10

ipod-extraction

Ruby
1
star
11

2up

Save paper by printing every two pages on a single page.
Shell
1
star
12

printlncs

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