Afonso Fernandes

icon indicating a website link https://www.linkedin.com/in/afonsonf/

icon location Porto, Portugal

Results 2 repositories owned by Afonso Fernandes
trafficstars

tlaplus-graph-explorer

195
Stars
2
Forks
Watchers

A static web application to explore and animate a TLA+ state graph.

verified publisher icon afonsonf

ceph-consensus-spec

20
Stars
0
Forks
Watchers

TLA+ specification of the Ceph consensus algorithm

verified publisher icon afonsonf