Skip to content
@ferrocene

Ferrocene

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

Pinned Loading

  1. ferrocene ferrocene Public

    Source code of Ferrocene, safety-critical Rust toolchain

    Rust 1.6k 47

  2. criticalup criticalup Public

    Ferrocene's toolchain manager.

    Rust 24 5

Repositories

Showing 10 of 19 repositories
  • ferrocene Public

    Source code of Ferrocene, safety-critical Rust toolchain

    ferrocene/ferrocene’s past year of commit activity
    Rust 1,604 Apache-2.0 47 8 23 Updated Mar 23, 2026
  • rust Public Forked from rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    ferrocene/rust’s past year of commit activity
    6 15,474 0 0 Updated Mar 23, 2026
  • stdarch Public Forked from rust-lang/stdarch

    Rust's standard library vendor-specific APIs and run-time feature detection

    ferrocene/stdarch’s past year of commit activity
    Rust 0 Apache-2.0 337 0 0 Updated Mar 21, 2026
  • arm-fvp-base-pac Public Forked from ArmFirmwareCrates/arm-fvp-base-pac
    ferrocene/arm-fvp-base-pac’s past year of commit activity
    Rust 0 Apache-2.0 1 0 0 Updated Mar 20, 2026
  • aarch64-cpu Public Forked from rust-embedded/aarch64-cpu

    Low level access to processors using the AArch64 execution state.

    ferrocene/aarch64-cpu’s past year of commit activity
    Rust 0 Apache-2.0 36 0 0 Updated Mar 18, 2026
  • fls Public Forked from rust-lang/fls

    Ferrocene Language Specification

    ferrocene/fls’s past year of commit activity
    reStructuredText 3 42 0 0 Updated Mar 11, 2026
  • criticalup Public

    Ferrocene's toolchain manager.

    ferrocene/criticalup’s past year of commit activity
    Rust 24 5 0 2 Updated Mar 6, 2026
  • upstream-libc Public Forked from rust-lang/libc

    Public fork of libc

    ferrocene/upstream-libc’s past year of commit activity
    Rust 0 Apache-2.0 1,260 0 0 Updated Feb 19, 2026
  • kellnr Public Forked from kellnr/kellnr

    The registry for Rust crates

    ferrocene/kellnr’s past year of commit activity
    Rust 4 Apache-2.0 79 0 0 Updated Feb 18, 2026
  • grcov Public Forked from mozilla/grcov

    Rust tool to collect and aggregate code coverage data for multiple source files

    ferrocene/grcov’s past year of commit activity
    Rust 1 MPL-2.0 170 0 0 Updated Apr 7, 2025
View all repositories

Most used topics

Loading…