c-language topic
alfred-lock
Alfred 3 workflow to lock your Mac
canvas
Render images and videos directly using C
cellmaker
Multi-threaded library for cellular automata
C-Programming
C Programming Experiments
c-utils
C utility libraries
fccf
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.
the-c-programming-language-2nd-edition-solutions
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.
psychec
A compiler frontend for the C programming language
FStar
A Proof-oriented Programming Language
karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code