A Proof-oriented Programming Language
-
Updated
Jun 4, 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
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
Stackful Async Subroutines for C. Brings async 2 C
Soluções para algumas questões no juiz online URI
A compiler frontend for the C programming language
Repository for PEX1241|PET2033 Algorithms and Data Structure I subject/course on Information Technology - UFERSA
Employee Management System in C By Sohanuzzaman Soad
This repository will contain the correction of the exercises in our C_LAB sessions
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.
This is a mirror of Richard Stallman's GNU C Language Intro and Reference, available in Markdown and PDF.
The GNUstep CoreBase Library is a library of general-purpose, non-graphical C objects.
Answers to exercises in K&R's The C Programming Language (second Edition).
Materials for the "Computer Architecture and Operating Systems" course taught at Faculty of Computer Science of Higher School of Economics
Introduction in C language and all basic codes.
Answers to Programming in C (Fourth Edition) by Stephan G. Kochan.
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.
Created by Dennis Ritchie
Released 1972