A Formal Model of Checked C

• checkedc-clang

  2 491 0.0 C++

  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.

  

Is it related to https://github.com/microsoft/checkedc-clang ?

Another interesting link is https://support.apple.com/guide/security/memory-safe-iboot-i... : Apple modified C compiler to improve iBoot security. I never found this particular implementation, I guess it's proprietary.

• cyclone

  3 6 0.0 C

  Cyclone Language Compiler fixes to build on recent operating systems (by mingodad)

Here https://github.com/mingodad/cyclone is my attempt to update the latest available cyclone code and fix it to build on more recents operating systems.

The first step is build as 32 bits as clean as possible then attempt to update to be able to also build for 64 bits.

Actually it's already working on Ubuntu 18.04 see the build here https://github.com/mingodad/cyclone/actions .

One of the main reasons to do it is to preserve for historical purposes .

There is also this other repositories that seems to try something similar:

https://github.com/moon-chilled/cyclonic

• InfluxDB

  www.influxdata.com featured

  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.

  

• cyclonic

  1 0 10.0 C

  WIP port of cyclone to modern platforms

Here https://github.com/mingodad/cyclone is my attempt to update the latest available cyclone code and fix it to build on more recents operating systems.

The first step is build as 32 bits as clean as possible then attempt to update to be able to also build for 64 bits.

Actually it's already working on Ubuntu 18.04 see the build here https://github.com/mingodad/cyclone/actions .

One of the main reasons to do it is to preserve for historical purposes .

There is also this other repositories that seems to try something similar:

https://github.com/moon-chilled/cyclonic

• cyclone

  1 0 10.0 C

  Cyclone is a safe dialect of C (by catb0t)

• cyclone

  7 1 10.0 C

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

• cyclone

  1 1 10.0 C

Suggest a related project