↕
↔
j
+
SOFTWARE ENGINEER · BERLIN
Joshua Christl
.
j
+
52° N · 13° E
01 / PLAY
Interactive CV
Explore my work.
↗
02 / READ
CV
Experience & projects.
↗
03 / LEAN
My AI lean proof artifacts
joshua.plus/lean
↗
04 / CAD
AI CAD stuff
joshua.plus/cad
↗
05 / BERLIN
Berlin, on foot
Explore Berlin in 3D.
↗
06 / IMAGE
Image editor
Edit photos, paint & compose.
↗
07 / PAPERS
Formalizing old papers in lean
joshua.plus/lean-old-papers
↗
08 / RAIL
Bahn Atlas
Explore Germany’s rail network.
↗
09 / MUSIC
German rap atlas
Explore places, sounds & feelings.
↗