Skip to content
@ferrocene

Ferrocene

An open source qualified Rust compiler for functional safety

Pinned Loading

  1. ferrocene ferrocene Public

    Source code of Ferrocene, safety-critical Rust toolchain

    Rust 1.3k 38

  2. criticalup criticalup Public

    Ferrocene's toolchain manager.

    Rust 8 5

  3. specification specification Public

    Ferrocene Language Specification

    Python 400 30

Repositories

Showing 10 of 14 repositories

Top languages

Loading…

Most used topics

Loading…