Popular repositories Loading

1. eff eff Public

   Forked from matijapretnar/eff

   A functional programming language based on algebraic effects and their handlers.

   OCaml 1

2. eeff-formalization eeff-formalization Public

   Coq 1

3. mini-art mini-art Public

   A collection of small fun art projects

   Python 1

4. glitch-doctor glitch-doctor Public

   A python implementation of the meta-model for surrogate based global optimisation.

   Python

5. fractalisator fractalisator Public

   Rust

6. coq-workshop coq-workshop Public

   Gradivo za delavnico na FMF

   Coq