A Proof-oriented Programming Language
This is a mirror of Richard Stallman's GNU C Language Intro and Referenc...
A compiler frontend for the C programming language
Solutions to the exercises in the book "The C Programming Language" (2nd...
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 cod...
Answers to exercises in K&R's The C Programming Language (second Edition).
A set of tools to manage objects on PKCS#11 cryptographic tokens. Compat...
Lock your Mac from the command-line
EMBO - Scope for only $6. Embedded instruments: Oscilloscope, Logic Anal...
Soluções para algumas questões no juiz online URI
Stackful Async Subroutines for C. Brings async 2 C
Introduction in C language and all basic codes.
Alfred 3 workflow to lock your Mac
ترجمة لدرس تعلّم البرمجة بلغة السي الخاص بموقع OpenClassrooms