Avatar for Hoang Duy Tung from gravatar.com

Hoang Duy Tung

Username    duytungkid
Date joined   Joined

4 projects

cpyte

Last released

The Cpyte programming language compiler

opreof

Last released

Bit-exact machine-integer equivalence proving by rewriting, equality saturation, and exhaustive solving

cpyte-cpm

Last released

A package manager for cpy with extension support

cpyte-package-server

Last released

Package 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