Skip to content
@ferrocene

Ferrocene

An open source qualified Rust compiler for functional safety
README.md

Pinned

  1. ferrocene ferrocene Public

    Source code of Ferrocene, safety-critical Rust toolchain

    Rust 1.2k 28

  2. specification specification Public

    Ferrocene Language Specification

    Python 386 26

Repositories

Showing 10 of 11 repositories
View all repositories

Top languages

Rust Python

Most used topics

Loading…