Avatar for UILIAM ISAAC DA SILVA MELLO from gravatar.com

UILIAM ISAAC DA SILVA MELLO

Username    dev-isaacmello
Date joined   Joined

1 project

eleph

Last released

A language whose programs cannot lie: speech acts, a history that is the only state, and correctness conditions derived from the program text rather than written beside it.
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