Ferrocene

  • ferrocene Public

    Source code of Ferrocene, safety-critical Rust toolchain

    ferrocene/ferrocene’s past year of commit activity

    Rust

    1,598

    Apache-2.0

    47 8 26

    Updated Mar 16, 2026

  • rust Public Forked from rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    ferrocene/rust’s past year of commit activity

  • ferrocene/fls’s past year of commit activity

    reStructuredText

    3 41 0 0

    Updated Mar 12, 2026

  • ferrocene/criticalup’s past year of commit activity

    Rust

    24 5 0 2

    Updated Mar 6, 2026

  • ferrocene/aarch64-cpu’s past year of commit activity

    Rust 0 Apache-2.0

    36 0 0

    Updated Feb 23, 2026

  • ferrocene/upstream-libc’s past year of commit activity

    Rust 0 Apache-2.0

    1,253 0 0

    Updated Feb 19, 2026

  • ferrocene/kellnr’s past year of commit activity

    Rust

    4

    Apache-2.0

    80 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

  • ferrocene/sphinx-shared-resources’s past year of commit activity

    Python 0 0

    0 0

    Updated Jan 27, 2025

  • ferrocene/lsp-types’s past year of commit activity

    Rust

    1

    MIT

    114 0 0

    Updated Sep 4, 2024