A Proof-oriented Programming Language
-
Updated
Dec 11, 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
Xash3D FWGS engine
This is a mirror of Richard Stallman's GNU C Language Intro and Reference, available in Markdown and PDF.
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.
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.
Answers to exercises in K&R's The C Programming Language (second Edition).
wasmVision gets you going with computer vision.
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
A simple template for building a Limine-compliant kernel in C.
At-RTOS is an open and user-friendly real-time operating system (RTOS) for the embedded controller (EC).
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
State Machine Design in C
My notes & solutions for CS50x 2022-2023.
Stackful Async Subroutines for C. Brings async 2 C
Created by Dennis Ritchie
Released 1972