03

Labb

Tillämpad forskning i gränslandet mellan konsultinsikt och fungerande mjukvara. Prototyper, utforskningar och verktyg under aktiv utveckling.

Liminara — Provenansinfrastruktur för bevisa-det-eran

En runtime som gör alla beräkningar reproducerbara, granskningsbara och verifierbara. Under aktiv utveckling — kommer att släppas som öppen källkod under Apache 2.0. Grunden som alla utforskningar nedan bygger på.

— — — — —

Grunder

Paket som bevisar arkitekturen