A Proof-oriented Programming Language
-
Updated
Sep 5, 2024 - F*
C is a programming language designed by Dennis Ritchie at Bell Labs. C is very widely used, straightforward, and can be compiled to a number of platforms and operating systems. C is an imperative language, with a small number of keywords and a large number of mathematical operators. C is also a very low level programming language, which means it can communicate directly with hardware.
A Proof-oriented Programming Language
This is a mirror of Richard Stallman's GNU C Language Intro and Reference, available in Markdown and PDF.
A compiler frontend for the C programming language
Solutions to the exercises in the book "The C Programming Language" (2nd edition) by Brian W. Kernighan and Dennis M. Ritchie. This book is also referred to as K&R.
KaRaMeL is a tool for extracting low-level F* programs to readable C code
fccf: A command-line tool that quickly searches through C/C++ source code in a directory based on a search string and prints relevant code snippets that match the query.
Answers to exercises in K&R's The C Programming Language (second Edition).
EMBO - Scope for only $6. Embedded instruments: Oscilloscope, Logic Analyzer, Voltmeter, Counter, PWM and Signal Generator on STM32 MCUs (F1, F3, L4, G4 ....). PC app for Windows, Ubuntu and macOS. Firmware is in C, PC GUI app is in C++ Qt 5.
Lock your Mac from the command-line
At-RTOS is an open and user-friendly real-time operating system (RTOS) for the embedded controller (EC).
A simple template for building a Limine-compliant kernel in C.
Soluções para algumas questões no juiz online URI
Repository for PEX1241|PET2033 Algorithms and Data Structure I subject/course on Information Technology - UFERSA
Stackful Async Subroutines for C. Brings async 2 C
My notes & solutions for CS50x 2022-2023.
Introduction in C language and all basic codes.
C utility libraries
ترجمة لدرس تعلّم البرمجة بلغة السي الخاص بموقع OpenClassrooms
Created by Dennis Ritchie
Released 1972