Sergei Yu. Skorobogatov (@skorobogatov)
github

skorobogatov

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    10
  • Global Rank 972,962 (Top 34 %)
  • Followers 22
  • Following 1
  • Registered over 14 years ago
  • Most used languages
    Go
         66.7 %
    Python
         33.3 %
  • Location 🇷🇺 Russia
  • Country Total Rank 10,083
  • Country Ranking
    Go
         529
    Python
         3,224

Top repositories

1

protosmt

Prototype SMT Solver
Python
4
star
2

input

C-like input functions for BMSTU students
Go
4
star
3

z3

Golang binding for Z3 theorem prover from Microsoft Research
Go
2
star