Alternatives and similar repositories for checkedc

Users that are interested in checkedc are comparing it to the libraries listed below

• clibs / clib
  Package manager for the C programming language.
  ☆5,007Updated 2 months ago
• google / souper
  A superoptimizer for LLVM IR
  ☆2,249Updated 9 months ago
• includeos / IncludeOS
  A minimal, resource efficient unikernel for cloud services
  ☆5,137Updated 7 months ago
• orangeduck / Cello
  Higher level programming in C
  ☆6,964Updated 6 months ago
• sustrik / libdill
  Structured concurrency in C
  ☆1,879Updated last year
• Snaipe / libcsptr
  Smart pointers for the (GNU) C programming language
  ☆1,669Updated 2 years ago
• sustrik / libmill
  Go-style concurrency in C
  ☆3,060Updated 4 years ago
• ivmai / bdwgc
  The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
  ☆3,244Updated this week
• concurrencykit / ck
  Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the …
  ☆2,506Updated this week
• rr-debugger / rr
  Record and Replay Framework
  ☆9,895Updated this week
• rui314 / 8cc
  A Small C Compiler
  ☆6,260Updated last year
• drh / lcc
  The lcc retargetable ANSI C compiler
  ☆2,131Updated 8 months ago
• cksystemsteaching / selfie
  An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V…
  ☆2,437Updated this week
• seL4 / seL4
  The seL4 microkernel
  ☆4,982Updated last week
• cs01 / gdbgui
  Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, a…
  ☆10,093Updated last year
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,590Updated last year
• google / wuffs
  Wrangling Untrusted File Formats Safely
  ☆4,537Updated 3 weeks ago
• marcobambini / gravity
  Gravity Programming Language
  ☆4,394Updated 2 months ago
• orangeduck / mpc
  A Parser Combinator library for C
  ☆2,744Updated last year
• checkedc / checkedc-clang
  This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers …
  ☆505Updated 8 months ago
• llvm-mirror / llvm
  Project moved to: https://github.com/llvm/llvm-project
  ☆4,611Updated 4 years ago
• zsaleeba / picoc
  A very small C interpreter
  ☆1,461Updated 7 years ago
• antirez / sds
  Simple Dynamic Strings library for C
  ☆5,120Updated 2 months ago
• TinyCC / tinycc
  Unofficial mirror of mob development branch
  ☆2,339Updated 3 weeks ago
• attractivechaos / klib
  A standalone and lightweight C library
  ☆4,413Updated 4 months ago
• microsoft / mimalloc
  mimalloc is a compact general purpose allocator with excellent performance.
  ☆11,602Updated this week
• mjansson / rpmalloc
  Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C
  ☆2,303Updated 3 weeks ago
• jakogut / tinyvm
  TinyVM is a small, fast, lightweight virtual machine written in pure ANSI C.
  ☆3,263Updated 6 years ago
• yrnkrn / zapcc
  zapcc is a caching C++ compiler based on clang, designed to perform faster compilations
  ☆1,260Updated 4 years ago
• andlabs / libui
  Simple and portable (but not inflexible) GUI library in C that uses the native GUI technologies of each platform it supports.
  ☆10,813Updated last year