matijapretnar

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

generiranje-nalog

Generiranje nalog v Mathematici

mucki

Simulacija naraščanja mačje populacije

podatkovne-baze-1

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

principi-programskih-jezikov

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

assembler-simulator

Simple 8-bit Assembler Simulator with Angular.js

teorija-programskih-jezikov

Gradiva s predavanj pri predmetu Teorija programskih jezikov, magistrski študij IŠRM

bleater

Socialno omrežje za ovčke

Domaca-naloga

DomacaNaloga

effects-bibliography

Work related to algebraic effects and handlers

mathswitch

MPNBZ

opravila

Primer projektne naloge pri Uvodu v programiranje

prog1-projektna

programiranje-2

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

psa-1

Gradiva s predavanj pri predmetu Podatkovne strukture in algoritmi 1, 3. letnik matematike in finančne matematike, FMF

social-core

Python Social Auth - Core

Sudoku

Domača naloga "Sudoku" iz predmeta Programiranje 1.

user-defined-effects-formalization

UVPchess

wasm-spec-dsl

A DSL for writing WebAssembly specifications