matijapretnar/podatkovne-baze-1

Stars
1
Language TSQL
Created about 8 years ago
Updated almost 5 years ago

matijapretnar/podatkovne-baze-1

matijapretnar

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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

Jupyter Notebook

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

generiranje-nalog

Generiranje nalog v Mathematici

principi-programskih-jezikov

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

Jupyter Notebook