Andrej Tokarčík (@andrejtokarcik)
github

andrejtokarcik

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    8
  • Global Rank 1,101,139 (Top 39 %)
  • Followers 2
  • Following 1
  • Registered about 14 years ago
  • Most used languages
    Agda     50.0 %
    Python
         50.0 %
  • Location 🇸🇰 Slovakia
  • Country Total Rank 871
  • Country Ranking
    Agda     1
    Python
         284

Top repositories

1

agda-semantics

An executable formal semantics of Agda in K
Agda
5
star
2

trac-progressmetermacro

Progress meter wiki macro plugin for Trac
Python
2
star