A Proof-oriented Programming Language
-
Updated
Dec 14, 2023 - 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).
Lock your Mac from the command-line
Soluções para algumas questões no juiz online URI
Repository for Algorithms and Data Structure I subject/course on Information Technology - UFERSA
Stackful Async Subroutines for C. Brings async 2 C
A simple template for building a Limine-compliant kernel in C.
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.
Alfred 3 workflow to lock your Mac
ترجمة لدرس تعلّم البرمجة بلغة السي الخاص بموقع OpenClassrooms
Introduction in C language and all basic codes.
C utility libraries
UNOFFICIAL Git mirror of PhysicsFS Mercurial repository. The official repository has also moved to GitHub; this one will no longer be updated. Official website:
Created by Dennis Ritchie
Released 1972