Verification system for effectful programs

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

Lock your Mac from the command-line

Stackful Async Subroutines for C. Brings async 2 C

Alfred 3 workflow to lock your Mac

ترجمة لدرس تعلّم البرمجة بلغة السي الخاص بموقع OpenClassrooms

UNOFFICIAL Git mirror of PhysicsFS Mercurial repository. Please do not submit issues or pull requests here! Official website:

Red-black tree C implementation

C language compiler from scratch for a custom architecture, with virtual machine and all

optimizing compiler for a subset of C language

A set of tools to manage objects on PKCS#11 crypotographic tokens. Compatible with any PKCS#11 library, including NSS.

C library with 70+ configurable terminal spinner/progress indicators.

An easy to use unit testing framework written in, and created for, the C language.

🔌Curated collection of useful C Programming tutorials, snippets, and projects that you can understand in 30 seconds or less.

The GNUstep CoreBase Library is a library of general-purpose, non-graphical C objects.

My 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 Programming Experiments

Single-purpose tools to stress resources

Sogang Univ. System Programming (CSE4100) - SIC/XE Machine Project

A modular chatbot experiment

Neural Network library in C

C container is a STL-like library which implements generic containers in C language. It also implements most of the algorithms in STL algorithm, which can be applied to containers. This library is intended to be helpful for embedded software development, which may still use C language nowadays.

Control-flow based language verification framework

A simple, thin-wrapper, cross-platform networking API on socket level

Simple memory leak finder (for C program) using LD_PRELOAD.

Year-End Epitech project

A C-based application which alters the Frequency values of output sound beeps to create Music

c data structure library

Multum In Parvo Operating System is a cooperative multitasking RTOS designed for single-chip micro-controllers with severely limited RAM (e.g. less than 256 bytes) and ROM.