Matija Pretnar (@matijapretnar)
github

matijapretnar

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    925
  • Global Rank 33,062 (Top 2 %)
  • Followers 145
  • Following 1
  • Registered over 12 years ago
  • Most used languages
    OCaml
         40.0 %
    Jupyter Notebook
         20.0 %
    TSQL     10.0 %
    AMPL     10.0 %
    Objective-C
         10.0 %
    HTML
         10.0 %

Top repositories

1

eff

A functional programming language based on algebraic effect handlers
OCaml
859
star
2

millet

A ML-like pure functional language that can be used as a template for creating your own language
OCaml
26
star
3

proofs

A collection of mechanised proofs
AMPL
16
star
4

aeff

An interactive interpreter for asynchronous algebraic effects
OCaml
12
star
5

programiranje-1

Gradiva s predavanj pri predmetu Programiranje 1, 2. letnik matematike, FMF
Jupyter Notebook
5
star
6

uvod-v-programiranje

Gradiva s predavanj pri predmetu Uvod v programiranje, 1. letnik matematike, finančne matematike in pedagoške matematike, FMF
HTML
3
star
7

mucki

Simulacija naraščanja mačje populacije
OCaml
1
star
8

podatkovne-baze-1

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

generiranje-nalog

Generiranje nalog v Mathematici
Objective-C
1
star
10

principi-programskih-jezikov

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