c-language

There are 84 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* 2773
FWGS / xash3d-fwgs
Xash3D FWGS engine
xash3d-fwgs xash3d-engine waf crossplatform fwgs game-engine game-modding half-life halflife halflife-1 halflife1 modding-games modding-tools xash3d c-language goldsrc goldsrc-engine multiplayer-game-engine pure-c cross-platform
Language:C 1646
RealNeGate / Cuik
A Modern C11 compiler (STILL EARLY)
c-lang c-language compiler
Language:C 698
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
672
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 language programming programming-challenges programming-exercises programming-language solution solutions
Language:C 554
ltcmelo / psychec
A compiler frontend for the C programming language
c c-language clanguage compiler compiler-frontend language-semantics parser parsing parsing-library program-analysis static-analysis type-inference
Language:C++ 537
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 416
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 code-search-engine command-line-tool cpp cpp11 cpp17 fast find libclang needle search simd sse2
Language:C++ 363
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 197
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.
pkcs11 x509 keymanagment c-language aix solaris windows linux macos bsd nss certificate pkcs rfc3394 rfc5649 oaep
Language:C 169
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 160
wasmvision / wasmvision
wasmVision gets you going with computer vision.
c-language computer-vision golang opencv rust wasi wasm webassembly
Language:Go 153
limine-bootloader / limine-c-template
A simple template for building a Limine-compliant kernel in C.
c limine template c-language limine-bootloader x86-64 bare-bones barebones amd64 kernel aarch64 arm64 loongarch loongarch64 riscv riscv64 loongson risc-v
Language:Makefile 142
sindresorhus / macos-lock
Lock your Mac from the command-line
macos lock c-language command-line-tool
Language:Shell 135
At-EC / At-RTOS
At-RTOS is an open and user-friendly real-time operating system (RTOS) for the embedded controller (EC).
embedded-controller iot rtos ec embedded-systems thread mcu robot china c-language firmware kernel
Language:C 124
malbolgee / URI
Soluções para algumas questões no juiz online URI
uri-online-judge urionlinejudge c-language algorithms data-structures
Language:C 120
endurodave / C_StateMachine
State Machine Design in C
c-language state-machine cross-platform finite-state-machine embedded-c embedded-systems
Language:C 119
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 111
BogdanOtava / CS50x
My notes & solutions for CS50x 2022-2023.
cs50problemsets cs50x notes c-language computer-science python databases sql flask html-css-javascript sql-query webapp cs50 cs50course
Language:HTML 106
Wirtos / async2.h
Stackful Async Subroutines for C. Brings async 2 C
async purec c-language asynchronous cross-platform c89
Language:C 93
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 84
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 69
Learn-to-program-with-C_AR
Hamza5 / Learn-to-program-with-C_AR
ترجمة لدرس تعلّم البرمجة بلغة السي الخاص بموقع OpenClassrooms
openclassrooms latex xelatex translation arabic c-language tutorial book xetex tex
Language:TeX 63
sindresorhus / alfred-lock
Alfred 3 workflow to lock your Mac
alfred-workflow alfred alfy npm-package macos lock c-language
58
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 54
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 50
MiguelVis / mescc
Mike's Enhanced Small C Compiler for Z80 and CP/M.
c-compiler c-language cp-m cpm mescc small-c z80 z80-assembler
Language:C 49
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
fsaadatmand / Programming-in-C
Answers to Programming in C (Fourth Edition) by Stephan G. Kochan.
c c-language programming-exercises
Language:C 44
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# 43
gnustep / libs-corebase
The GNUstep CoreBase Library is a library of general-purpose, non-graphical C objects.
base-library c-language corefoundation
Language:C 40
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 40
GTK-Examples
Miqueas / GTK-Examples
GTK examples in different programming languages
c c-language c-programming examples examples-c examples-gtk examples-lua examples-vala gtk gtk3 gtk4 lgi lua lua51 lua52 lua53 lua54 vala vala-developers vala-development
Language:C 39
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 38
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 37