Avatar for adam o'connor from gravatar.com

adam o'connor

Username    ao3575911
Date joined   Joined

4 projects

dotslot

Last released

Let agents fill the blanks in a file, and prove they touched nothing else.

gdk9-cli

Last released

GDk9 CLI — symbolic energy analysis, implication engine, and DCG tools

r2s

Last released

Reference runtime for the r2s research-to-ship JSON Schema contract

hxr

Last released

A minimal, formally-verifiable programming language for 2030
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