Avatar for Christian Mauderer from gravatar.com

Christian Mauderer

Username    c-mauderer
Date joined   Joined

4 projects

specmake

Last released

Provides utilities to build packages.

specware

Last released

Provides utilities to specify software.

specitems

Last released

Provides interfaces to work with specification items.

spectestrunner

Last released

Provides a client to run test executables on a test server.
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