-
-
-
spacemacs Public
Forked from syl20bnr/spacemacsA community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Emacs Lisp GNU General Public License v3.0 UpdatedJun 10, 2025 -
-
Magisterij Public
Magistrska naloga na UL FMF, Instance reducibility in snopi nad okolišem
TeX MIT License UpdatedMay 30, 2025 -
fmfdelo Public
Forked from ul-fmf/fmfdeloLaTeX predloge za zaključna dela na FMF
-
-
andromeda Public
Forked from Andromedans/andromedaA proof assistant for general type theories
OCaml Other UpdatedDec 17, 2024 -
-
cursors Public
Forked from catppuccin/cursors🐁 Soothing pastel mouse cursors
Shell GNU General Public License v2.0 UpdatedJun 9, 2024 -
-
web Public
Forked from pi-base-topos/webCode powering the π-Base
TypeScript MIT License UpdatedApr 27, 2024 -
-
-
-
-
-
lograc-project-2022 Public
Forked from danelahman/lograc-project-2022Project repository for the Logika v računalništvu course
Agda UpdatedSep 8, 2023 -
-
bridge-system-notes Public
LaTeX package for creating complete bridge system notes
MIT License UpdatedMay 14, 2023 -
-
programerski-klub-fmf.github.io Public
Forked from programerski-klub-fmf/programerski-klub-fmf.github.ioSuper kul in izpiljena stran Programerskega kluba FMF.
HTML MIT License UpdatedNov 5, 2022 -
Diploma Public
Diplomska naloga na UL FMF, Kvantni algebrajski učinki
TeX MIT License UpdatedSep 16, 2022 -
-
lograc-2022 Public
Forked from danelahman/lograc-2022Git repository for the course Logika v računalništvu
Agda UpdatedMar 5, 2022 -
ngx-superbindex Public
Forked from gibatronic/ngx-superbindexLike ngx-autoindex, but superb!
JavaScript MIT License UpdatedFeb 5, 2022 -
-
nadlogar Public
Forked from ul-fmf/nadlogarSpletna storitev za generiranje nalog
Python MIT License UpdatedMar 16, 2021 -
-
idiomatic-rust Public
Forked from mre/idiomatic-rustA peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.
Rust UpdatedOct 20, 2020
{{ message }}