Explore projects

Project to apply Ni-Meister Biomass Index Model to global GEDI L1B footprints.

Lean 4 + TorchLean dev image for MAAP JupyterHub (:cpu/:gpu) — Mathlib/TorchLean binary cache kept in the EBS-persistent home store (~/.lean-store), synced once at launch by lean-store-sync: small image. Sibling of torchlean-development-cache; both are stopgaps until Lake's cross-project binary cache lands (lean4#14154).

Lean 4 + TorchLean dev image for MAAP JupyterHub (:cpu/:gpu) — Mathlib/TorchLean binary cache baked into the image under /opt/lean: self-contained and offline, larger. Sibling of torchlean-development-slim; both are stopgaps until Lake's cross-project binary cache lands (lean4#14154).

Project to apply Ni-Meister Biomass Index Model to global GEDI L1B footprints.