checkedc

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. (by checkedc)

Checkedc Alternatives

Similar projects and alternatives to checkedc

  1. rust

    2,827 checkedc VS rust

    Empowering everyone to build reliable and efficient software.

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  3. zig

    876 checkedc VS zig

    General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  4. deno

    486 checkedc VS deno

    A modern runtime for JavaScript and TypeScript.

  5. CppCoreGuidelines

    The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

  6. awesome

    152 checkedc VS awesome

    😎 Awesome lists about all kinds of interesting topics

  7. wuffs

    Wrangling Untrusted File Formats Safely

  8. windows-rs

    Rust for Windows

  9. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  10. dafny

    Dafny is a verification-aware programming language

  11. compiler-team

    A home for compiler team planning documents, meeting minutes, and other such things.

  12. CompCert

    The CompCert formally-verified C compiler

  13. ctl

    My variant of the C Template Library (by rurban)

  14. hamsterbase

    21 checkedc VS hamsterbase

    self-hosted, local-first web archive application.

  15. ikos

    16 checkedc VS ikos

    Static analyzer for C/C++ based on the theory of Abstract Interpretation.

  16. zz

    10 checkedc VS zz

    Discontinued πŸΊπŸ™ ZetZ a zymbolic verifier and tranzpiler to bare metal C

  17. c2rust

    50 checkedc VS c2rust

    Migrate C code to Rust

  18. stent

    Completely avoid dangling pointers in C.

  19. The-C-Programming-Language

    Answers to exercises in K&R's The C Programming Language (second Edition).

  20. c2nim

    c2nim is a tool to translate Ansi C code to Nim. The output is human-readable Nim code that is meant to be tweaked by hand before and after the translation process.

  21. rust-sciter

    Rust bindings for Sciter

  22. yet-another-speed-dial

    a modern, open source speed dial for chrome, edge and firefox

  23. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better checkedc alternative or higher similarity.

checkedc discussion

Log in or Post with

checkedc reviews and mentions

Posts with mentions or reviews of checkedc. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2024-03-04.

Stats

Basic checkedc repo stats
21
3,236
4.3
7 months ago

Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com