Avatar for Matthias Hölzl from gravatar.com

Matthias Hölzl

Username    mhoelzl
Date joined   Joined

3 projects

coding-academy-lecture-manager

Last released

Coding-Academy Lecture Manager - A course content processing system

termverify

Last released

Protocol-driven verification for autonomous terminal applications.

nbex

Last released

Support for code that works interactively and in batch mode.
Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page