Is it possible to have a superset of the C programming languages standard that is as safe as Rust?

• checkedc

  21 3,183 0.0 C

  Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.

  

• cyclone

  7 1 10.0 C

  Cyclone is a type- and memory-safe dialect of C (by pippijn)

Looks like it was a research project and is now abandoned: http://cyclone.thelanguage.org

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• BorrowScript

  9 1,432 5.5 HTML

  TypeScript with a Borrow Checker. Multi-threaded, Tiny binaries. No GC. Easy to write.

You might be looking for something like https://github.com/alshdavid/BorrowScript

• cppfront

  85 5,103 9.5 C++

  A personal experimental C++ Syntax 2 -> Syntax 1 compiler

This absolutely possible. You can wrap C code up into a nice and tidy standard library replacement and expose it to code that preprocessed it to implement supportive syntax: https://github.com/hsutter/cppfront

• zz

  10 1,604 1.9 Rust

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

  

There is this: https://github.com/zetzit/zz

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

Suggest a related project