سی (به انگلیسی: C‎) یک زبان برنامه‌نویسی از نوع همه‌منظوره، کامپایل‌شونده، سطح میانی، ساخت‌یافته، دستوری و روندگرا می‌باشد.
مانند بسیاری از زبان‌های رویه‌ای در سنت الگول، سی دارای امکاناتی برای برنامه‌نویسی ساخت یافته است و دامنهٔ متغیر واژگان را امکان‌پذیر می‌سازد. سیستم نوع استاتیک آن از انجام عملیات ناخواسته جلوگیری می‌کند. در C، کلیهٔ کدهای اجرایی در زیر برنامه‌ها (که «توابع» نیز نامیده می‌شوند وجود دارد، گرچه به معنای برنامه‌نویسی کاربردی کاملاً دقیق نیست). پارامترهای عملکرد همیشه توسط مقدار منتقل می‌شوند. گذر توسط مرجع در C با عبور صریح مقادیر اشاره‌گر شبیه‌سازی می‌شود. متن منبع برنامهٔ C با فرمت آزاد است و با استفاده از دکتر کلمات به عنوان یک اصطلاح کننده بیان و بندهای فرفیژه برای گروه‌بندی جمله‌ها استفاده می‌شود.
در حالی که C ویژگی‌های خاصی را که در زبان‌های دیگر یافت می‌شود (مانند جهت‌یابی اشیاء و جمع‌آوری زباله)، این موارد را می‌توان پیاده‌سازی یا تقلید کرد، غالباً با استفاده از کتابخانه‌های خارجی (به عنوان مثال، سیستم اشیاء GLib یا جمع‌آوری زباله Boehm).