Žiga Lukšič (@zigaLuksic)
github

zigaLuksic

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    4
  • Global Rank 1,611,161 (Top 56 %)
  • Followers 8
  • Following 3
  • Registered about 7 years ago
  • Most used languages
    Python
         66.7 %
    Coq     33.3 %
  • Location 🇸🇮 Slovenia
  • Country Total Rank 859
  • Country Ranking
    Coq     2
    Python
         267

Top repositories

1

eeff-formalization

Coq
1
star
2

mini-art

A collection of small fun art projects
Python
1
star
3

glitch-doctor

A python implementation of the meta-model for surrogate based global optimisation.
Python
1
star