Expertise

All tools, frameworks, and languages used in projects.

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