Pinned Repositories
aeff
An interactive interpreter for asynchronous algebraic effects
eff
A functional programming language based on algebraic effect handlers
generiranje-nalog
Generiranje nalog v Mathematici
millet
A ML-like pure functional language that can be used as a template for creating your own language
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
programiranje-1
Gradiva s predavanj pri predmetu Programiranje 1, 2. letnik matematike, FMF
proofs
A collection of mechanised proofs
uvod-v-programiranje
Gradiva s predavanj pri predmetu Uvod v programiranje, 1. letnik matematike, finančne matematike in pedagoške matematike, FMF
matijapretnar's Repositories
matijapretnar/eff
A functional programming language based on algebraic effect handlers
matijapretnar/millet
A ML-like pure functional language that can be used as a template for creating your own language
matijapretnar/proofs
A collection of mechanised proofs
matijapretnar/aeff
An interactive interpreter for asynchronous algebraic effects
matijapretnar/programiranje-1
Gradiva s predavanj pri predmetu Programiranje 1, 2. letnik matematike, FMF
matijapretnar/uvod-v-programiranje
Gradiva s predavanj pri predmetu Uvod v programiranje, 1. letnik matematike, finančne matematike in pedagoške matematike, FMF
matijapretnar/generiranje-nalog
Generiranje nalog v Mathematici
matijapretnar/mucki
Simulacija naraščanja mačje populacije
matijapretnar/podatkovne-baze-1
Gradiva s predavanj pri predmetu Podatkovne baze 1, 3. letnik praktične matematike, FMF
matijapretnar/principi-programskih-jezikov
Gradiva s predavanj pri predmetu Principi programskih jezikov, 2. letnik IŠRM & RI, FRI & FMF
matijapretnar/assembler-simulator
Simple 8-bit Assembler Simulator with Angular.js
matijapretnar/teorija-programskih-jezikov
Gradiva s predavanj pri predmetu Teorija programskih jezikov, magistrski študij IŠRM
matijapretnar/bleater
Socialno omrežje za ovčke
matijapretnar/Domaca-naloga
matijapretnar/DomacaNaloga
matijapretnar/effects-bibliography
Work related to algebraic effects and handlers
matijapretnar/mathswitch
matijapretnar/MPNBZ
matijapretnar/opravila
Primer projektne naloge pri Uvodu v programiranje
matijapretnar/prog1-projektna
matijapretnar/programiranje-2
Gradiva s predavanj pri predmetu Programiranje 2, 2. letnik matematike, FMF
matijapretnar/psa-1
Gradiva s predavanj pri predmetu Podatkovne strukture in algoritmi 1, 3. letnik matematike in finančne matematike, FMF
matijapretnar/social-core
Python Social Auth - Core
matijapretnar/Sudoku
Domača naloga "Sudoku" iz predmeta Programiranje 1.
matijapretnar/user-defined-effects-formalization
matijapretnar/UVPchess
matijapretnar/wasm-spec-dsl
A DSL for writing WebAssembly specifications