Giuliano Losa (@nano-o)
github

nano-o

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    50
  • Global Rank 339,208 (Top 12 %)
  • Followers 31
  • Registered almost 12 years ago
  • Most used languages
    TLA     45.5 %
    HTML
         27.3 %
    Isabelle     9.1 %
    Racket
         9.1 %
    TeX
         9.1 %
  • Location ๐Ÿ‡บ๐Ÿ‡ธ United States
  • Country Total Rank 70,252
  • Country Ranking
    Isabelle     10
    TLA     10
    Racket
         509
    TeX
         3,027

Top repositories

1

PaxosMadeSimple

A TLA+ formalization of the algorithm described in "Paxos Made Simple"
TLA
18
star
2

MultiPaxos

MultiPaxos and Disk Paxos in TLA+ and PlusCal
TLA
11
star
3

Distributed-termination-detection

TLA+ formalization of a distributed termination-detection algorithm, including a proof checked with Apalache
HTML
5
star
4

TLA-Library

A TLA+ library of concepts that I used in other developments
TLA
5
star
5

SCP-Verification

TeX
3
star
6

ivy-proofs

A repository to collect Ivy proofs of various distributed algorithms
2
star
7

IO-Automata

Formalisation of basic IO-Automata theory in Isabelle/HOL
Isabelle
2
star
8

ivy-method-in-isabelle

HTML
1
star
9

M2Paxos

TLA
1
star
10

Isabelle-Semitopology

HTML
1
star
11

rosette-testgen

Racket
1
star
12

Caesar

TLA
1
star