Matija Pretnar

eff. A functional programming language based on algebraic effect handlers

millet. A ML-like pure functional language that can be used as a template for creating your own language

proofs. A collection of mechanised proofs

aeff. An interactive interpreter for asynchronous algebraic effects

programiranje-1. Gradiva s predavanj pri predmetu Programiranje 1, 2. letnik matematike, FMF

uvod-v-programiranje. Gradiva s predavanj pri predmetu Uvod v programiranje, 1. letnik matematike, finančne matematike in pedagoške matematike, FMF

mucki. Simulacija naraščanja mačje populacije

principi-programskih-jezikov. Gradiva s predavanj pri predmetu Principi programskih jezikov, 2. letnik IŠRM & RI, FRI & FMF

minirust. Rust

podatkovne-baze-1. Gradiva s predavanj pri predmetu Podatkovne baze 1, 3. letnik praktične matematike, FMF

generiranje-nalog. Generiranje nalog v Mathematici