c-language

There are 86 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* 2916
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 2167
RealNeGate / Cuik
A Modern C11 compiler (STILL EARLY)
c-lang c-language compiler
Language:C 1201
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
692
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 644
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++ 552
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 479
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++ 381
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 316
singhofen / c-programming
These are small C language programs meant for learning and understanding the fundamentals of programming.
c c-arrays c-lang c-language c-language-convert-temps c-language-made-easy c-language-math c-language-operations c-language-while-loops c-program-find-radius c-program-switch c-programming c-programming-average-numbers c-programming-functions c-programming-geometry c-programming-if-else c-programming-language c-programming-loops c-programming-variables c-projects
Language:C 246
wasmvision / wasmvision
wasmVision gets you going with computer vision using WebAssembly.
c-language computer-vision golang opencv rust wasi wasm webassembly tinygo wasmcv
Language:Go 233
fsaadatmand / The-C-Programming-Language
Answers to exercises in K&R's The C Programming Language (second Edition).
c c-programming programming-exercises c-language programming-language
Language:C 210
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 199
endurodave / C_StateMachine
State Machine Design in C
c-language cross-platform embedded-c embedded-systems finite-state-machine state-machine
Language:C 168
sindresorhus / macos-lock
Lock your Mac from the command-line
macos lock c-language command-line-tool
Language:Shell 137
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 127
malbolgee / URI
Soluções para algumas questões no juiz online URI
uri-online-judge urionlinejudge c-language algorithms data-structures
Language:C 120
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 118
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 114
Wirtos / async2.h
Stackful Async Subroutines for C. Brings async 2 C
async purec c-language asynchronous cross-platform c89
Language:C 92
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 91
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 76
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 70
42-piscine
felixtanhm / 42-piscine
This repository is a compilation for all my projects during 42's Piscine at SUTD Singapore, held on March 2024.
42 42born2code 42cursus 42projects 42school 42sg piscine piscine-42 piscine-c piscine42 c-language c-language-programming c-programming ecole42 sutd 42sutd 42rush 42piscine 42-singapore
Language:C 67
getiot / linux-c-functions
C 语言函数大全 | Linux 常用 C 函数参考手册（中文）
c-language documentation tutorial tutorial-code
Language:CSS 61
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 59
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 59
sindresorhus / alfred-lock
Alfred 3 workflow to lock your Mac
alfred-workflow alfred alfy npm-package macos lock c-language
58
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 55
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
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 50
GTK-Examples
Miqueas / GTK-Examples
GTK examples in different programming languages
c lua vala gtk examples gtk3 gtk4 lgi lua51 lua52 lua53 lua54 vala-developers vala-development examples-c examples-gtk examples-lua examples-vala c-language c-programming
Language:C 48
fsaadatmand / Programming-in-C
Answers to Programming in C (Fourth Edition) by Stephan G. Kochan.
c c-language programming-exercises
Language:C 47
okba14 / NeuroHTTP
High-Performance AI-Native Web Server — built in C & Assembly for ultra-fast AI inference and streaming.
ai-inference ai-inference-server ai-native assembly c-language grpc grpc-server high-performance http3 low-latency neural open-source web-server
Language:C 47
Tiny-C-Compiler / tinycc-mirror-repository
This is a Mirror Repository of https://repo.or.cz/tinycc.git ___________________________________________ 🔄 Mirror of main development hub for TCC, a small and fast C compiler originally created by Fabrice Bellard ___________________________________________ The Mirroring is openly governed by GitHub-Actions-Mirror-Repository
mirrored-repository tcc tinycc compiler c c-language
Language:C 46
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 45