Maksym (@msemikin)
github

msemikin

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    8
  • Global Rank 1,106,139 (Top 39 %)
  • Followers 6
  • Registered about 11 years ago
  • Most used languages
    HTML
         25.0 %
    Python
         25.0 %
    Elm
         25.0 %
    JavaScript
         25.0 %
  • Location πŸ‡ΊπŸ‡¦ Ukraine
  • Country Total Rank 5,820
  • Country Ranking
    Elm
         7
    HTML
         1,963
    JavaScript
         2,327
    Python
         2,429

Top repositories

1

cache

JavaScript
3
star
2

formal-verifier-client

Elm-based Client for the Formal Verifier project
Elm
3
star
3

Ideas-bank

HTML
1
star
4

fmse-tool

Python library that implements a number of Formal verification algorithms
Python
1
star