Statistics for topic c-language

RepositoryStats tracks 518,986 Github repositories, of these 24 are tagged with the c-language topic. The most common primary language for repositories using this topic is C (14).

Stargazers over time for topic c-language

Most starred repositories for topic c-language (view more)

FStarLang
FStar FStarLang
233
2.6k
apache-2.0
80
A Proof-oriented Programming Language
smt fstar ocaml f-sharp c-language verification dependent-types proof-assistant theorem-proving programming-language
Created 2014-04-03
36,665 commits to master branch, last one a day ago
VernonGrant
gnu-c-language-manual VernonGrant
32
578
gpl-3.0
14
This is a mirror of Richard Stallman's GNU C Language Intro and Reference, available in Markdown and PDF.
c linux manual learning gnu-linux c-language c-programming documentation
Created 2022-09-10
16 commits to main branch, last one about a year ago
RealNeGate
Cuik RealNeGate
27
520
mit
25
A Modern C11 compiler (STILL EARLY)
c-lang compiler c-language
Created 2021-11-22
1,473 commits to master branch, last one 2 months ago
ltcmelo
psychec ltcmelo
39
497
bsd-3-clause
17
A compiler frontend for the C programming language
c parser parsing compiler clanguage c-language type-inference parsing-library static-analysis program-analysis compiler-frontend language-semantics
Created 2016-11-07
556 commits to master branch, last one 18 days ago
ohkimur
the-c-programming-language-2nd-edition-solutions ohkimur
109
464
mit
11
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.
c language solution solutions c-language programming c-programming programming-language programming-exercises programming-challenges
Created 2018-04-28
880 commits to main branch, last one about a month ago
FStarLang
karamel FStarLang
59
385
apache-2.0
43
KaRaMeL is a tool for extracting low-level F* programs to readable C code
f-star proofs c-language cryptography verification
Created 2016-05-27
3,643 commits to master branch, last one 15 days ago

Trending repositories for topic c-language (view more)

Last 3 days (new repositories)
no newly created repositories trending in the last 3 days
Last 3 days (absolute gain)
FStarLang
FStarLang/FStar

A Proof-oriented Programming Language

2,587 (+12)
apache-2.0
Last 3 days (relative gain)
FStarLang
FStarLang/FStar

A Proof-oriented Programming Language

2,587 (+0.5%)
apache-2.0
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
FStarLang
FStarLang/FStar

A Proof-oriented Programming Language

2,587 (+14)
apache-2.0
RealNeGate
RealNeGate/Cuik

A Modern C11 compiler (STILL EARLY)

520 (+4)
mit
Mastercard
Mastercard/pkcs11-tools

A set of tools to manage objects on PKCS#11 cryptographic tokens. Compatible with many PKCS#11 library, including major HSM brands, NSS and softoken.

139 (+1)
fsaadatmand
fsaadatmand/The-C-Programming-Language

Answers to exercises in K&R's The C Programming Language (second Edition).

166 (+1)
Last week (relative gain)
RealNeGate
RealNeGate/Cuik

A Modern C11 compiler (STILL EARLY)

520 (+0.8%)
mit
Mastercard
Mastercard/pkcs11-tools

A set of tools to manage objects on PKCS#11 cryptographic tokens. Compatible with many PKCS#11 library, including major HSM brands, NSS and softoken.

139 (+0.7%)
fsaadatmand
fsaadatmand/The-C-Programming-Language

Answers to exercises in K&R's The C Programming Language (second Edition).

166 (+0.6%)
FStarLang
FStarLang/FStar

A Proof-oriented Programming Language

2,587 (+0.5%)
apache-2.0
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute gain)
FStarLang
FStarLang/FStar

A Proof-oriented Programming Language

2,587 (+28)
apache-2.0
RealNeGate
RealNeGate/Cuik

A Modern C11 compiler (STILL EARLY)

520 (+23)
mit
ohkimur
ohkimur/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.

464 (+7)
mit
FStarLang
FStarLang/karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code

385 (+6)
apache-2.0
fsaadatmand
fsaadatmand/The-C-Programming-Language

Answers to exercises in K&R's The C Programming Language (second Edition).

166 (+4)
Last month (relative gain)
BogdanOtava
BogdanOtava/CS50x

My notes & solutions for CS50x 2022-2023.

57 (+6%)
RealNeGate
RealNeGate/Cuik

A Modern C11 compiler (STILL EARLY)

520 (+5%)
mit
ctlst-tech
ctlst-tech/uas-catpilot

CatPilot is a hardware and OS agnostic drone's autopilot software stack. It is designed for faster creation of scalable distributed control systems for mission-critical applications. (UAS-CatPilot rep...

35 (+3%)
bsd-3-clause
fsaadatmand
fsaadatmand/The-C-Programming-Language

Answers to exercises in K&R's The C Programming Language (second Edition).

166 (+2%)
parezj
parezj/EMBO

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. Fi...

131 (+2%)
mit
Last 12-months (new repositories)
pcawte
pcawte/AgDev

Port to Agon Light of TI-84-CE C/C++ Toolchain which uses LLVM and generates eZ80 ADL code

39
lgpl-3.0
Last 12-months (absolute gain)
RealNeGate
RealNeGate/Cuik

A Modern C11 compiler (STILL EARLY)

520 (+378)
mit
FStarLang
FStarLang/FStar

A Proof-oriented Programming Language

2,587 (+170)
apache-2.0
ohkimur
ohkimur/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.

464 (+155)
mit
parezj
parezj/EMBO

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. Fi...

131 (+75)
mit
BogdanOtava
BogdanOtava/CS50x

My notes & solutions for CS50x 2022-2023.

57 (+56)
Last 12-months (relative gain)
RealNeGate
RealNeGate/Cuik

A Modern C11 compiler (STILL EARLY)

520 (+266%)
mit
abhayanigam
abhayanigam/Learn_C

Introduction in C language and all basic codes.

75 (+150%)
mit
parezj
parezj/EMBO

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. Fi...

131 (+134%)
mit
roscibely
roscibely/algorithms-and-data-structure

Repository for PEX1241|PET2033 Algorithms and Data Structure I subject/course on Information Technology - UFERSA

105 (+114%)
gpl-3.0
limine-bootloader
limine-bootloader/limine-c-template

A simple template for building a Limine-compliant kernel in C.

108 (+86%)
0bsd