Juraj Major (@jurajmajor)
github

jurajmajor

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    4
  • Global Rank 1,611,161 (Top 56 %)
  • Followers 6
  • Registered almost 8 years ago
  • Most used languages
    Jupyter Notebook
         100.0 %
  • Location πŸ‡¨πŸ‡Ώ Czechia
  • Country Total Rank 4,703
  • Country Ranking
    Jupyter Notebook
         131

Top repositories

1

ltl3tela

LTL3TELA is a translator of LTL formulae to omega-automata with generic acceptance condition.
Jupyter Notebook
4
star