Expertise
This page contains a list of technologies that I’m rather comfortable with.
Development:
Languages:
- Agda
- C#
- Dart
- Java
- Scala
- Python
- Haskell
Frameworks:
- ASP.NET
- Entity Framework
- Flutter
- Drift
- Jekyll
- Spring Boot
- FastAPI
- SQLAlchemy
- TestContainers
Infrastructure:
Management:
- Azure Cloud
- Azure Resource Mangement (ARM) Templates
- AWS
- Ansible
- Proxmox
- Hyper-V
- Puppet
- Nix
- Terraform
Deployment:
- Docker & Docker Compose
- GitHub actions
- Azure Pipelines
- Gitlab CI & Gitlab Runners
- Harness
Web:
- NGINX & NGINX Proxy Manager (NPM)
- Traefik
- Cloudflare DNS
- OpenVPN
- WireGuard