← Latest products

Xr0

Vanilla C Made Safe with Annotations. Xr0 is a new static analyser that aims to make it possible to write vanilla C and get the same safety guarantees that are available other higher-level languages.

Visit xr0.devexternal site

Reactions (1)

Similar products

by description similarity

  1. Xr0 is a Static Debugger for C

    xr0.dev

    Hacker News36 pts

  2. Xcc700

    github.com

    Self-hosting mini C compiler for ESP32 (Xtensa) in 700 lines

    Hacker News154 pts

  3. Optimizing compiler for a large subset of C

    github.com

    written in Rust

    Hacker News11 pts

  4. Cicada

    github.com

    A scripting language that integrates with C

    Hacker News57 pts

  5. Xc

    github.com

    A Markdown Defined Task Runner

    Hacker News113 pts