#
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 675 public repositories matching this topic...
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
-
Updated
Jun 10, 2022 - C++
KaRaMeL is a tool for extracting low-level F* programs to readable C code
-
Updated
Jun 9, 2022 - OCaml
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
-
Updated
Jun 11, 2022 - C++
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
-
Updated
Jun 1, 2022 - C
Lock your Mac from the command-line
-
Updated
Jan 23, 2021 - Shell
Stackful Async Subroutines for C. Brings async 2 C
-
Updated
Jul 15, 2021 - C
Answers to exercises in K&R's The C Programming Language (second Edition).
-
Updated
Feb 15, 2021 - C
Soluções para algumas questões no juiz online URI
-
Updated
Apr 24, 2022 - C
Alfred 3 workflow to lock your Mac
-
Updated
May 26, 2021
UNOFFICIAL Git mirror of PhysicsFS Mercurial repository. The official repository has also moved to GitHub; this one will no longer be updated. Official website:
-
Updated
Jul 2, 2021 - C
ترجمة لدرس تعلّم البرمجة بلغة السي الخاص بموقع OpenClassrooms
-
Updated
Sep 22, 2018 - TeX
C language compiler from scratch for a custom architecture, with virtual machine and all
-
Updated
Jun 4, 2022 - C#
-
Updated
Dec 20, 2019 - JavaScript
A pure C single-header library with 90 configurable terminal spinner/progress indicators.
-
Updated
Jan 1, 2022 - C
The GNUstep CoreBase Library is a library of general-purpose, non-graphical C objects.
-
Updated
Aug 17, 2020 - C
C utility libraries
utilities
stack
graph
timing
bitarray
fileutils
string-manipulation
permutations
c-language
c-programming
minunit
doublylinkedlist
unit-testing-framework
c-string
stringlib
mu-assert-pointers
-
Updated
Sep 13, 2021 - C
[PT-BR] Um script em python que simula o processo de correção do run.condes para programas em C ou compilados/executados via Makefile.
-
Updated
Jul 20, 2021 - Python
An easy to use unit testing framework written in, and created for, the C language.
-
Updated
Apr 20, 2022 - C
Mike's Enhanced Small C Compiler for Z80 and CP/M.
-
Updated
Nov 25, 2021 - C
C for Delphi
c
delphi
c99
lib
caas
jit-compiler
c-library
c-language
win64
pascal-language
delphi-library
pascal-library
-
Updated
Mar 17, 2022
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.
c-plus-plus
counter
qt
embedded
generator
electronics
stm32
oscilloscope
signal
pwm
st
cubemx
c-language
ctu
stm32f103
embo
voltmeter
logicanalyzer
nucleo-board
bluepill-board
-
Updated
Oct 23, 2021 - C
C Programming Course Lecture 🙈 🎈
-
Updated
Jun 10, 2022 - TeX
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.
c
client
tcp
server
multithreading
tcp-server
tcp-client
networks
client-server
c-language
multithreaded-tcp-server
computer-networks
online-quiz-system
-
Updated
Nov 18, 2021 - C
Introduction to SoC Design Education Kit
html
arm
fpga
soc
fpga-soc
c-language
c-programming
arm-cortex-m0
system-on-chip
amba
ahb
fpga-programming
soc-design
system-on-chip-design
cortex-m0-processor-archicture
-
Updated
Jun 7, 2022 - HTML
Created by Dennis Ritchie
Released 1972
- Website
- www.open-std.org/jtc1/sc22/wg14
- Wikipedia
- Wikipedia
A formula like
forall x1. forall. x2. exists x3. phi
gets resugared to, and hence pretty printed as,forall x1 x2 x3. phi
. The bug is in theuncurry
function inFStar.Syntax.Reguar.fs
.