Afonso Fernandes (@afonsonf)
github

afonsonf

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    218
  • Global Rank 115,189 (Top 4 %)
  • Followers 17
  • Following 15
  • Registered about 8 years ago
  • Most used languages
    JavaScript
         50.0 %
    TLA     50.0 %
  • Location πŸ‡΅πŸ‡Ή Portugal
  • Country Total Rank 403
  • Country Ranking
    TLA     1
    JavaScript
         83

Top repositories

1

tlaplus-graph-explorer

A static web application to explore and animate a TLA+ state graph.
JavaScript
196
star
2

ceph-consensus-spec

TLA+ specification of the Ceph consensus algorithm
TLA
20
star
3

tlaplus-html-examples

Example usages of the HTML.tla module
2
star