Igor Konnov (@konnov)
github

konnov

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    49
  • Global Rank 346,182 (Top 12 %)
  • Followers 53
  • Following 3
  • Registered about 14 years ago
  • Most used languages
    TLA     28.6 %
    HTML
         28.6 %
    F*     14.3 %
    JavaScript
         14.3 %
    C
         14.3 %
  • Location πŸ‡¦πŸ‡Ή Austria
  • Country Total Rank 1,983
  • Country Ranking
    F*     1
    TLA     1
    C
         156
    HTML
         234
    JavaScript
         1,678

Top repositories

1

bymc

Byzantine model checker
C
20
star
2

fault-tolerant-benchmarks

Fault-tolerant distributed algorithms encoded in a formal language
F*
13
star
3

protocols-made-fun

Protocols made fun: Igor's blog
HTML
6
star
4

tlaki

TLAki: Little cute typed definitions in TLA+
TLA
5
star
5

apalache-examples

Examples of efficiently using Apalache
TLA
2
star
6

apalache-blog

Using TLA+ and Apalache
1
star
7

tlaplus-highlightjs

Syntax highlighting for TLA+ in highlightjs
JavaScript
1
star
8

konnov.github.io

Igor Konnov's page
HTML
1
star