jO-Osko

mpl

The MaPLe compiler for efficient and scalable parallel functional programming

effect-handlers-bench

Benchmark repository of polyglot effect handler examples

provsql

Adding support for provenance and uncertainty management to PostgreSQL databases

community

qrpicture

Picture to colour QR code converter hosted on https://QRpicture.com

annotated_latex_equations

Examples of how to create colorful, annotated equations in Latex using Tikz.

type-theory-slovene-dictionary

A dictionary of slovene translations of type-theoretical notions and notions from logic and foundations of mathematics.

tikzplotlib

:bar_chart: Save matplotlib figures as TikZ/PGFplots for smooth integration into LaTeX.

koka

Koka language compiler and interpreter

effects-rosetta-stone

A comparison of how computational effects and handlers are implemented in various programming languages.

Probabilistic-Programming-and-Bayesian-Methods-for-Hackers

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

Projektna-naloga-prog.1

Projektna naloga za programiranje 1.

create-elm-app

🍃 Create Elm apps with zero configuration

kdd2018-tutorial

Companion repository for the KDD'18 hands-on tutorial on Higher-Order Data Analytics for Temporal Network Data

eo-learn

Earth observation processing framework for machine learning in Python