zigaLuksic

SinergiseLjubljana

Pinned Repositories

eff
A functional programming language based on algebraic effect handlers
Language:OCaml868 35 3941
ray
Ray is an AI compute engine. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.
Language:Python35k 479 19.2k5.9k
eo-learn
Earth observation processing framework for machine learning in Python
Language:Python1.1k 46 160299
sentinelhub-py
Download and process satellite imagery in Python using Sentinel Hub services.
Language:Python825 52 172249
coq-workshop
Gradivo za delavnico na FMF
Language:Coq0 1 00
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:Python1 1 00

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:Python1 1 00
zigaLuksic/coq-workshop
Gradivo za delavnico na FMF
Language:Coq0 1 00
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