Ansgar Esztermann aeszter

0 Followers · 0 Following

• Göttingen

• Physicist turned sysadmin, father, orienteer, Go player.

  Formal verification with SPARK.

  Halber Ostfriese, aufgewachsen im Rheinland, wohnt jetzt ganz im Süden vom Norden.

• Joined on 2025-12-16

Repositories Projects Packages Public Activity Starred Repositories

Sort

Oldest Alphabetically Reverse alphabetically Most recently updated Least recently updated

No projects yet.

Create a project to coordinate issues and pull requests.