c-language

There are 81 repositories under c-language topic.

FStarLang / FStar
A Proof-oriented Programming Language
programming-language verification dependent-types smt theorem-proving proof-assistant ocaml f-sharp c-language fstar
Language:F* 2623
VernonGrant / gnu-c-language-manual
This is a mirror of Richard Stallman's GNU C Language Intro and Reference, available in Markdown and PDF.
c documentation manual c-language c-programming gnu-linux learning linux
577
RealNeGate / Cuik
A Modern C11 compiler (STILL EARLY)
c-lang c-language compiler
Language:C 525
ltcmelo / psychec
A compiler frontend for the C programming language
c type-inference compiler parser c-language clanguage static-analysis compiler-frontend parsing parsing-library program-analysis language-semantics
Language:C++ 501
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.
c c-language c-programming programming solutions solution programming-exercises programming-challenges language programming-language
Language:C 464
FStarLang / karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
verification proofs cryptography c-language f-star
Language:OCaml 388
p-ranav / 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.
abstract-syntax-tree c-language c-programming clang command-line-tool cpp cpp11 cpp17 libclang needle simd sse2 code-search-engine fast find search
Language:C++ 352
fsaadatmand / The-C-Programming-Language
Answers to exercises in K&R's The C Programming Language (second Edition).
c c-language c-programming programming-exercises programming-language
Language:C 167
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.
aix bsd c-language certificate keymanagment linux macos nss oaep pkcs pkcs11 rfc3394 rfc5649 solaris windows x509
Language:C 139
sindresorhus / macos-lock
Lock your Mac from the command-line
c-language command-line-tool lock macos
Language:Shell 134
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. Firmware is in C, PC GUI app is in C++ Qt 5.
embedded oscilloscope stm32 voltmeter counter qt embo st stm32f103 bluepill-board nucleo-board logicanalyzer pwm generator signal cubemx ctu electronics c-language c-plus-plus
Language:C 131
malbolgee / URI
Soluções para algumas questões no juiz online URI
uri-online-judge urionlinejudge c-language algorithms data-structures
Language:C 117
limine-bootloader / limine-c-template
A simple template for building a Limine-compliant kernel in C.
amd64 bare-bones barebones c c-language kernel limine limine-bootloader template x86-64
Language:Makefile 108
roscibely / algorithms-and-data-structure
Repository for PEX1241|PET2033 Algorithms and Data Structure I subject/course on Information Technology - UFERSA
algorithm algorithms c c-language c-programming-language data-structures collaborate educative github gitlens
Language:C 105
Wirtos / async2.h
Stackful Async Subroutines for C. Brings async 2 C
async purec c-language asynchronous cross-platform c89
Language:C 91
abhayanigam / Learn_C
Introduction in C language and all basic codes.
c c-programming c-language learn-c learn-learning-c vscode 100daysofcode 100-days-of-code
Language:C 75
barrust / c-utils
C utility libraries
c-language c-programming utilities bitarray c-string string-manipulation timing unit-testing-framework stringlib graph fileutils stack doublylinkedlist minunit permutations
Language:C 60
sindresorhus / alfred-lock
Alfred 3 workflow to lock your Mac
alfred-workflow alfred alfy npm-package macos lock c-language
60
BogdanOtava / CS50x
My notes & solutions for CS50x 2022-2023.
c-language computer-science cs50 cs50course cs50problemsets cs50x databases flask html-css-javascript notes python sql sql-query webapp
Language:HTML 58
Learn-to-program-with-C_AR
Hamza5 / Learn-to-program-with-C_AR
ترجمة لدرس تعلّم البرمجة بلغة السي الخاص بموقع OpenClassrooms
arabic book c-language latex openclassrooms tex translation tutorial xelatex xetex
Language:TeX 58
criptych / physfs-old
UNOFFICIAL Git mirror of PhysicsFS Mercurial repository. The official repository has also moved to GitHub; this one will no longer be updated. Official website:
c-language filesystem virtual-file-system game-development
Language:C 53
ssoad / Employee-Management-System
Employee Management System in C By Sohanuzzaman Soad
c c-programming c-projects ems-project employee-management employee-management-system sohanuzzamansoad c-language simple-c-project sohanuzzaman-soad
Language:C 48
fdefelici / clove-unit
Single-Header Unit Testing framework for C (interoperable with C++) with test autodiscovery feature
unit-testing clove single-header unit-testing-framework unit-testing-library c-language clove-unit autodiscovery
Language:C 46
SuperJMN / Plotty
C language compiler from scratch for a custom architecture, with virtual machine and all
risc emulator uwp superpower parser parsing csharp net compiler c c-language virtual-machine
Language:C# 42
MiguelVis / mescc
Mike's Enhanced Small C Compiler for Z80 and CP/M.
mescc small-c c-compiler z80 cpm cp-m c-language z80-assembler
Language:C 41
pcawte / AgDev
Port to Agon Light of TI-84-CE C/C++ Toolchain which uses LLVM and generates eZ80 ADL code
agon-light agonlight agonlight2 c-language compiler cpp ez80 programming ti-84-plus-ce
Language:C 39
fsaadatmand / Programming-in-C
Answers to Programming in C (Fourth Edition) by Stephan G. Kochan.
c c-language programming-exercises
Language:C 36
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 repo is a upper lever repo for sharing configurations for UAVs)
autopilot drone uav c-language c-library cube freertos mission-control stm32 uas vms catalyst-aerospace cubepilot embedded-systems model-based-development c-atlas c-atom ctlst ctlst-tech eswb
Language:Python 35
fredsiika / 30-seconds-of-c
🔌Curated collection of useful C Programming tutorials, snippets, and projects that you can understand in 30 seconds or less.
c c-programming c-programming-game c-project c-programms c-code c-language c-languages
Language:JavaScript 35
gnustep / libs-corebase
The GNUstep CoreBase Library is a library of general-purpose, non-graphical C objects.
corefoundation base-library c-language
Language:C 35
mirek / rb_tree
Red-black tree C implementation
library c-language
35
singhofen / c-programming
These are small C language programs meant for learning and understanding the fundamentals of programming.
c c-programming c-programming-language c-programming-loops c-programming-if-else c-programming-functions c-programming-variables c-programming-average-numbers c-program-find-radius c-projects c-program-switch c-programming-geometry c-language c-language-while-loops c-language-made-easy c-lang c-arrays c-language-math c-language-operations c-language-convert-temps
Language:C 32
muneeb50 / Multithreaded-Online-Quiz-System
Computer Networks Project - Multi-threaded Online Quiz System, developed in C language based on TCP protocol, including development of one Main Server, three Sub-servers and unlimited clients.
multithreaded-tcp-server tcp-server tcp-client tcp client-server c online-quiz-system networks multithreading computer-networks c-language server client
Language:C 31
cirocosta / stress
Single-purpose tools to stress resources
stress cpu disk memory c c-language docker
Language:C 29
VincentDary / PolyAsciiShellGen
Caezar ASCII Shellcode Generator (x86, 32 bits)
32-bit encoder shellcode x86 c c-language zero-dependency
Language:C 29
briandowns / libspinner
A pure C single-header library with 90 configurable terminal spinner/progress indicators.
c c-language indicator progress progress-bar shell spinner terminal
Language:C 28

c-language

FStarLang / FStar

VernonGrant / gnu-c-language-manual

RealNeGate / Cuik

ltcmelo / psychec

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

FStarLang / karamel

p-ranav / fccf

fsaadatmand / The-C-Programming-Language

Mastercard / pkcs11-tools

sindresorhus / macos-lock

parezj / EMBO

malbolgee / URI

limine-bootloader / limine-c-template

roscibely / algorithms-and-data-structure

Wirtos / async2.h

abhayanigam / Learn_C

barrust / c-utils

sindresorhus / alfred-lock

BogdanOtava / CS50x

Hamza5 / Learn-to-program-with-C_AR

criptych / physfs-old

ssoad / Employee-Management-System

fdefelici / clove-unit

SuperJMN / Plotty

MiguelVis / mescc

pcawte / AgDev

fsaadatmand / Programming-in-C

ctlst-tech / uas-catpilot

fredsiika / 30-seconds-of-c

gnustep / libs-corebase

mirek / rb_tree

singhofen / c-programming

muneeb50 / Multithreaded-Online-Quiz-System

cirocosta / stress

VincentDary / PolyAsciiShellGen

briandowns / libspinner