Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-kgs
Agda KGs
agda-stdlib
The Agda standard library
AnalizaBesed
dpfkdskfdspokfo
codepy
Generate and execute native code at run time, from Python
fr-eval-curves
Feature Ranking evaluation curves
fuji-score
Fuzzy Jaccard Index (FUJI) implementation and data
Funkcionali-izbire
Repozitorij za projekt Funkcionali izbire (Matematika s funkcijskim programiranjem)
hedwig
A subgroup discovery tool that can use ontological domain knowledge (RDF graphs) in the learning process. Subgroup descriptions contain terms from the given domain knowledge and enable potentially better generalizations.
unsupervised_ranking
Enseble- and Distance-based Feature Ranking and Selection for Unsupervised Learning
Petkomat's Repositories
Petkomat/unsupervised_ranking
Enseble- and Distance-based Feature Ranking and Selection for Unsupervised Learning
Petkomat/fuji-score
Fuzzy Jaccard Index (FUJI) implementation and data
Petkomat/Funkcionali-izbire
Repozitorij za projekt Funkcionali izbire (Matematika s funkcijskim programiranjem)
Petkomat/agda
Agda is a dependently typed programming language / interactive theorem prover.
Petkomat/agda-kgs
Agda KGs
Petkomat/agda-stdlib
The Agda standard library
Petkomat/AnalizaBesed
dpfkdskfdspokfo
Petkomat/codepy
Generate and execute native code at run time, from Python
Petkomat/fr-eval-curves
Feature Ranking evaluation curves
Petkomat/hedwig
A subgroup discovery tool that can use ontological domain knowledge (RDF graphs) in the learning process. Subgroup descriptions contain terms from the given domain knowledge and enable potentially better generalizations.
Petkomat/HoTTEST-Summer-School
HoTTEST Summer School materials
Petkomat/lograc-2022
Git repository for the course Logika v računalništvu
Petkomat/hungryScraper
Praska po lončku in še čem.
Petkomat/hz-docs
Source content for the Hazelcast Platform documentation
Petkomat/lean2sexp
Convert Lean .olean files to s-expressions
Petkomat/mathematics-in-ljubljana
test
Petkomat/mlc-ranking
The results from the mutli-label classificaiton ranking experiments
Petkomat/Nurikabe
Nurikabe solver
Petkomat/projekt-tomo
Spletna storitev za poučevanje programiranja
Petkomat/psa2
Podatkovne strukture in algoritmi 2
Petkomat/pynndescent
A Python nearest neighbor descent for approximate nearest neighbors
Petkomat/RORUTA-necessary-and-possible-relations
Use the widgets RORUTA-NecessaryAndPossiblePreferenceRelations and RORUTA-RepresentativeValueFunction from diviz
Petkomat/song_to_tex
Python code for creating song books
Petkomat/srt_manipulator
Adjust and manipulate the times of subtitles in srt files
Petkomat/tree-plotter
A simple Mathematica script for plotting trees
Petkomat/Vislice