Avatar for Sean McDirmid from gravatar.com

Sean McDirmid

Username    seanmcdirmid
Date joined   Joined

3 projects

pretense-py

Last released

Lightweight stateful property testing and behavioral contract framework

autofab-py

Last released

Python methodology and verification tools for the Autofab framework

autofab

Last released

Literate, specification-driven software engineering framework for autonomous AI pair-programming
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