matijapretnar/millet matijapretnar/millet

  • Stars
    star
    26
  • Rank 905,285 (Top 19 %)
  • Language
    OCaml
  • Created over 3 years ago
  • Updated 12 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
matijapretnar/millet
github

matijapretnar

Reviews

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

Repository Details

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

More Repositories

1

eff

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

proofs

A collection of mechanised proofs
AMPL
16
star
3

aeff

An interactive interpreter for asynchronous algebraic effects
OCaml
11
star
4

programiranje-1

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

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
6

mucki

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

podatkovne-baze-1

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

generiranje-nalog

Generiranje nalog v Mathematici
Objective-C
1
star
9

principi-programskih-jezikov

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