c-language

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.

Here are 2,135 public repositories matching this topic...

Language:All

Filter by language

All2,135 C1,714 C++118 Python39 Assembly23 HTML22 Makefile22 Shell19 Java13 Rust11 JavaScript10

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

FStarLang /FStar

Star2.9k

A Proof-oriented Programming Language

programming-language dependent-types ocaml theorem-proving verification f-sharp proof-assistant smt c-language fstar

UpdatedDec 17, 2025
F*

FWGS /xash3d-fwgs

Star2.2k

Xash3D FWGS engine

cross-platform game-engine waf pure-c goldsrc halflife half-life crossplatform goldsrc-engine xash3d-engine c-language multiplayer-game-engine modding-games modding-tools game-modding xash3d xash3d-fwgs halflife1 halflife-1 fwgs

UpdatedDec 15, 2025
C

RealNeGate /Cuik

Sponsor

Star1.2k

A Modern C11 compiler (STILL EARLY)

compiler c-language c-lang

UpdatedDec 13, 2025
C

VernonGrant /gnu-c-language-manual

Star695

This is a mirror of Richard Stallman's GNU C Language Intro and Reference, available in Markdown and PDF.

c linux learning documentation gnu-linux manual c-language c-programming

UpdatedOct 17, 2022

ohkimur /the-c-programming-language-2nd-edition-solutions

Sponsor

Star650

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 programming-language programming solutions solution programming-exercises programming-challenges c-language c-programming

UpdatedDec 10, 2025
C

ltcmelo /psychec

Star559

A compiler frontend for the C programming language

c parser parsing compiler static-analysis program-analysis type-inference parsing-library compiler-frontend c-language clanguage language-semantics

UpdatedNov 9, 2025
C++

FStarLang /karamel

Star486

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

cryptography verification proofs c-language f-star

UpdatedDec 14, 2025
OCaml

p-ranav /fccf

Star381

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.

search fast libclang cpp find clang cpp11 simd needle cpp17 sse2 command-line-tool c-language abstract-syntax-tree c-programming code-search-engine

UpdatedOct 23, 2024
C++

parezj /EMBO

Star330

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.