checkedc

rui314/chibicc9.8K

C compiler

An open-source C compiler that aims to implement all C11 features and compile real-world programs correctly.

fragglet/c-algorithms3.4K

Algorithm library

A collection of commonly used algorithms in C.

lotabout/write-a-c-interpreter4.1K

Self-running C compiler

A simple C interpreter that can interpret and run itself

nicup14/minilang139

Type-safe C language

A modern, type-safe C successor with a focus on memory safety and ease of use.

boyter/scc6.9K

Code analyzer

Fast code counter with complexity calculations and COCOMO estimates written in pure Go.

rui314/8cc6.2K

C Compiler

An experimental C compiler that aims to compile itself and supports various language features while keeping the code concise.

doctorwkt/acwj10.6K

Compiler writer

Writing a compiler for a simplified version of the C programming language from scratch.

smackers/smack431

C verifier

A software verification toolchain that translates C code into intermediate language and verifies its assertions using model checking and abstract interpretation

jamesroutley/write-a-hash-table3.6K

Hash table implementation

Implementing an open-addressed, double-hashed hash table in C

danmar/cppcheck5.9K

Code analyzer

Automated code analysis tool for C and C++ code

serenityos/jakt2.8K

Systems language

A systems programming language aimed at providing memory safety and code readability through design features such as automatic reference counting and strong typing.

foonathan/type_safe1.5K

Type checker library

A set of C++ utilities to prevent bugs at compile time using the type system.

c3lang/c3c3.1K

C compiler

A compiler for an evolution of the C language

sqlc-dev/sqlc13.7K

Code generator

Generates type-safe code from SQL queries

cgag/loc2.3K

Code counter

A Rust implementation of a line-of-code counting tool with improved performance compared to existing alternatives.