Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors.
☆3,260Oct 7, 2024Updated last year
Alternatives and similar repositories for checkedc
Users that are interested in checkedc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 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 …☆515Nov 16, 2025Updated 4 months ago
- Thiis is a *deprecated* repo that contains a version of LLVM that was being modified to support Checked C. We have moved to a single (m…☆98Jun 12, 2023Updated 2 years ago
- Simple and portable (but not inflexible) GUI library in C that uses the native GUI technologies of each platform it supports.☆10,881May 29, 2024Updated last year
- Record and Replay Framework☆10,458Apr 9, 2026Updated last week
- mimalloc is a compact general purpose allocator with excellent performance.☆12,712Updated this week
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A single-header ANSI C gui library☆14,039Jan 3, 2020Updated 6 years ago
- Wrangling Untrusted File Formats Safely☆4,722Apr 1, 2026Updated 2 weeks ago
- A superoptimizer for LLVM IR☆2,366Aug 28, 2024Updated last year
- build-once run-anywhere c library☆20,743Mar 6, 2026Updated last month
- A minimal, resource efficient unikernel for cloud services☆5,226Jan 8, 2026Updated 3 months ago
- The CompCert formally-verified C compiler☆2,142Apr 4, 2026Updated last week
- Higher level programming in C☆7,107Dec 1, 2024Updated last year
- Go-style concurrency in C☆3,157Feb 9, 2021Updated 5 years ago
- A modern editor with a backend written in Rust.☆19,835Mar 19, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,599Jun 17, 2022Updated 3 years ago
- The Z3 Theorem Prover☆12,136Updated this week
- A static analyzer for Java, C, C++, and Objective-C☆15,573Apr 9, 2026Updated last week
- A Small C Compiler☆6,375May 2, 2024Updated last year
- Structured concurrency in C☆1,915Apr 9, 2024Updated 2 years ago
- mold: A Modern Linker 🦠☆16,362Apr 7, 2026Updated last week
- Chez Scheme☆7,280Apr 3, 2026Updated last week
- Zstandard - Fast real-time compression algorithm☆26,938Apr 1, 2026Updated 2 weeks ago
- Cake a C23 front end and transpiler written in C☆666Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the …☆2,623Updated this week
- ChakraCore is an open source Javascript engine with a C API.☆9,245Feb 19, 2026Updated last month
- Simple Dynamic Strings library for C☆5,425Apr 18, 2025Updated 11 months ago
- An implementation of the TLS/SSL protocols☆4,702Apr 9, 2026Updated last week
- A statically typed lisp, without a GC, for real-time applications.☆5,856Apr 9, 2026Updated last week
- Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, a…☆10,332Jun 29, 2025Updated 9 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/redox☆16,215Updated this week
- List of single-file C/C++ libraries, with emphasis on clause-less licenses.☆9,849Feb 18, 2026Updated last month
- Package manager for the C programming language.☆5,127Oct 11, 2025Updated 6 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Run compilers interactively from your web browser and interact with the assembly☆18,668Apr 8, 2026Updated last week
- Bloaty: a size profiler for binaries☆5,413Mar 20, 2026Updated 3 weeks ago
- C-Reduce, a C and C++ program reducer☆1,651Jun 1, 2024Updated last year
- A hacky debugger UI for hackers☆6,348Jan 30, 2025Updated last year
- A library of generic data structures for the C language.☆2,986Jun 27, 2025Updated 9 months ago
- A single-header ANSI C immediate mode cross-platform GUI library☆11,038Mar 30, 2026Updated 2 weeks ago
- Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries☆2,531Apr 24, 2023Updated 2 years ago