bellissimogiorno

bellissimogiorno

Joined on May, 2013•9 repositories

Pull Requests

2

Code Reviews

1

Top Repositories

#

Repository

Stars

Forks

Issues (open)

Contributors

1

bellissimogiorno/nominal

43

7

0

-1

2

bellissimogiorno/cairo-integer-types

29

1

0

-1

3

bellissimogiorno/cairotest

6

1

0

-1

4

bellissimogiorno/contracts

1

0

0

-1

5

bellissimogiorno/plex

0

0

0

-1

6

bellissimogiorno/hobbes

0

0

0

-1

7

bellissimogiorno/F21DG.Visualisation

0

0

0

-1

8

bellissimogiorno/data-validation-submission

0

0

0

-1

9

bellissimogiorno/coq-blog

0

0

0

-1

Activity Feed (latest 0)