Petkomat's repositories
unsupervised_ranking
Enseble- and Distance-based Feature Ranking and Selection for Unsupervised Learning
fuji-score
Fuzzy Jaccard Index (FUJI) implementation and data
Funkcionali-izbire
Repozitorij za projekt Funkcionali izbire (Matematika s funkcijskim programiranjem)
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-stdlib
The Agda standard library
AnalizaBesed
dpfkdskfdspokfo
codepy
Generate and execute native code at run time, from Python
FNS-Harmony
Application ontology for the FNS-Cloud project
fr-eval-curves
Feature Ranking evaluation curves
HoTTEST-Summer-School
HoTTEST Summer School materials
lograc-2022
Git repository for the course Logika v računalništvu
hungryScraper
Praska po lončku in še čem.
hz-docs
Source content for the Hazelcast Platform documentation
lean2sexp
Convert Lean .olean files to s-expressions
mlc-ranking
The results from the mutli-label classificaiton ranking experiments
projekt-tomo
Spletna storitev za poučevanje programiranja
pynndescent
A Python nearest neighbor descent for approximate nearest neighbors
rogljicek
Krneki.
RORUTA-necessary-and-possible-relations
Use the widgets RORUTA-NecessaryAndPossiblePreferenceRelations and RORUTA-RepresentativeValueFunction from diviz
song_to_tex
Python code for creating song books
Spoon-Knife
This repo is for demonstration purposes only.
spotless
Keep your code spotless
srt_manipulator
Adjust and manipulate the times of subtitles in srt files
tree-plotter
A simple Mathematica script for plotting trees