Checkedc Alternatives

Similar projects and alternatives to checkedc

• rust.ko

  1 835 0.0 Rust checkedc VS rust.ko

  A minimal Linux kernel module written in rust.

• dafny

  3 1,721 9.7 C# checkedc VS dafny

  Dafny is a verification-aware programming language

  

• SonarQube

  www.sonarqube.org

  sponsored

  Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  

• koka

  1 2,190 9.7 Haskell checkedc VS koka

  Koka language compiler and interpreter

  

• manyclangs

  - 123 4.0 Dockerfile checkedc VS manyclangs

  Repository hosting unofficial binary pack files for many commits of LLVM

  

• checkedc-clang

  1 452 5.5 C++ checkedc VS 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 write C code that is guaranteed by the compiler to be type-safe.

  

• zig

  1 14,401 10.0 Zig checkedc VS zig

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

  

• wuffs

  1 3,176 9.3 C checkedc VS wuffs

  Wrangling Untrusted File Formats Safely

  

• Scout APM

  scoutapm.com

  sponsored

  Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

  

• CompCert

  4 1,410 7.4 Coq checkedc VS CompCert

  The CompCert formally-verified C compiler

  

• c2rust

  1 2,481 9.8 Rust checkedc VS c2rust

  Migrate C code to Rust

  

• The-C-Programming-Language

  - 76 1.3 C checkedc VS The-C-Programming-Language

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

• rust

  2 68,370 10.0 Rust checkedc VS rust

  Empowering everyone to build reliable and efficient software.

  

• stent

  2 27 3.5 C checkedc VS stent

  Completely avoid dangling pointers in C.

• verifast

  1 274 7.9 OCaml checkedc VS verifast

  Research prototype tool for modular formal verification of C and Java programs

  

• Rust-for-Linux

  1 2,543 10.0 C checkedc VS Rust-for-Linux

  Adding support for the Rust language to the Linux kernel. (by Rust-for-Linux)

  

• zz

  1 1,604 1.9 Rust checkedc VS zz

  🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

  

• usbarmory

  1 1,151 6.7 Ruby checkedc VS usbarmory

  USB armory - open source flash-drive-sized computer

  

• tamago

  1 1,110 7.1 Go checkedc VS tamago

  TamaGo - bare metal Go for ARM SoCs

  

• cakeml

  1 758 9.9 Standard ML checkedc VS cakeml

  CakeML: A Verified Implementation of ML

  

• unsafe-code-guidelines

  1 426 2.8 checkedc VS unsafe-code-guidelines

  Home for the Unsafe Code Guidelines working group.

  

• linux

  1 215 0.0 C checkedc VS linux

  Linux kernel source tree (by ClangBuiltLinux)

  

Suggest an alternative to checkedc