A Proof-oriented Programming Language
-
Updated
Jun 27, 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
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.
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.
Lock your Mac from the command-line
Answers to exercises in K&R's The C Programming Language (second Edition).
Soluções para algumas questões no juiz online URI
Stackful Async Subroutines for C. Brings async 2 C
Alfred 3 workflow to lock your Mac
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.
ترجمة لدرس تعلّم البرمجة بلغة السي الخاص بموقع OpenClassrooms
UNOFFICIAL Git mirror of PhysicsFS Mercurial repository. The official repository has also moved to GitHub; this one will no longer be updated. Official website:
Repository for Algorithms and Data Structure I subject/course on Information Technology - UFERSA
C utility libraries
C language compiler from scratch for a custom architecture, with virtual machine and all
Created by Dennis Ritchie
Released 1972