BernardaPetek's repositories
Language:Java000
TDAproject
TDA pipeline project
Language:Jupyter Notebook000
KCRtwo
drugi projekt
Language:MATLAB000
TAP
Topological data analysis
Language:TeX000
lograc2022BernardaPetek
interpreter z rekurzijo agda
Language:Agda000
Language:HTML000
lograc-2022
Git repository for the course Logika v računalništvu
Language:Agda000