zigaLuksic

SinergiseLjubljana

Pinned Repositories

eff
A functional programming language based on algebraic effect handlers
Language:OCaml854 35 3941
ray
Ray is a unified framework for scaling AI and Python applications. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.
Language:Python32.3k 475 18.1k5.5k
eo-learn
Earth observation processing framework for machine learning in Python
Language:Python1.1k 45 159301
sentinelhub-py
Download and process satellite imagery in Python using Sentinel Hub services.
Language:Python798 51 165245
coq-workshop
Gradivo za delavnico na FMF
Language:Coq00
eeff-formalization
Language:Coq1 1 00
eff
A functional programming language based on algebraic effects and their handlers.
Language:OCaml1 2 00
fractalisator
Language:Rust0 1 00
glitch-doctor
A python implementation of the meta-model for surrogate based global optimisation.
Language:Python0 0 00
mini-art
A collection of small fun art projects
Language:Python10

zigaLuksic's Repositories

zigaLuksic/eeff-formalization
Language:Coq1 1 00
zigaLuksic/eff
A functional programming language based on algebraic effects and their handlers.
Language:OCaml1 2 00
zigaLuksic/mini-art
A collection of small fun art projects
Language:Python10
zigaLuksic/coq-workshop
Gradivo za delavnico na FMF
Language:Coq00
zigaLuksic/fractalisator
Language:Rust0 1 00
zigaLuksic/glitch-doctor
A python implementation of the meta-model for surrogate based global optimisation.
Language:Python0 0 00