Leansi
Eine Bibliothek für lesbare Terminalausgaben in Lean 4. Sie verbindet strukturierte Dokumente mit ANSI-Farben, Ausrichtung, tabellarischen Layouts, Terminalerkennung und Fortschrittsanzeigen.
- Lean 4
- Lake
- GitHub Actions
Persönliches Portfolio
Marcel
Kaiser
Master Informatik · Systemintegration
Ich verbinde meinen Hintergrund in der Systemintegration mit Softwareentwicklung und einem breiten Blick auf moderne IT-Infrastrukturen.
MK
Porträtfolgt
01
Profil
Zwischen Infrastruktur und Entwicklung.
Mein Hintergrund liegt in der Systemintegration. Deshalb betrachte ich IT nicht nur aus Sicht einzelner Anwendungen, sondern als Zusammenspiel aus Betriebssystemen, Netzwerken, Virtualisierung, Endgeräten und Administration.
Gleichzeitig beschäftige ich mich intensiv mit Softwareentwicklung und modernen Plattformen. Diese Verbindung hilft mir, technische Zusammenhänge ganzheitlich zu verstehen und Lösungen zu entwickeln, die zuverlässig, nachvollziehbar und praktisch einsetzbar sind.
02
Tech-Stack
Technologien & Werkzeuge
Eine Auswahl der Systeme, Plattformen und Sprachen, mit denen ich arbeite.
Betriebssysteme
- Linux
- Windows
- macOS
Infrastruktur & Netzwerk
- Proxmox VE
- VMware / ESXi
- Hypervisor
- Cisco
- Sophos
- Sophos Mobile
Automation & Management
- Power Automate
- Matrix42
- Active Directory
Entwicklung & Plattformen
- Java
- Python
- C
- Lean 4
- TypeScript
- JavaScript
- Vue.js
- Docker
- Kubernetes
- Git
- GitLab
- JetBrains
03
Projekte
Ausgewählte Arbeiten
Alle Repositories04
Kontakt