Skip to content

@ferrocene Ferrocene

Change the repository type filter

All

    Repositories list

    22 repositories

    • ferrocene

      Public
      Source code of Ferrocene, safety-critical Rust toolchain
      Rust
      •
      Apache License 2.0
      •47•1.6k•6•23•Updated Apr 23, 2026Apr 23, 2026

    • femtopb

      Public
      Rust
      •
      Apache License 2.0
      •5•0•0•0•Updated Apr 23, 2026Apr 23, 2026

    • criticalup

      Public
      Ferrocene's toolchain manager.
      Rust
      •5•26•0•4•Updated Apr 23, 2026Apr 23, 2026

    • rust

      Public
      Empowering everyone to build reliable and efficient software.
      15k•6•0•0•Updated Apr 20, 2026Apr 20, 2026

    • aarch64-cpu

      Public
      Low level access to processors using the AArch64 execution state.
      Rust
      •
      Apache License 2.0
      •37•0•0•0•Updated Apr 2, 2026Apr 2, 2026

    • arm-fvp-base-pac

      Public
      Rust
      •
      Apache License 2.0
      •1•0•0•0•Updated Mar 26, 2026Mar 26, 2026

    • stdarch

      Public
      Rust's standard library vendor-specific APIs and run-time feature detection
      Rust
      •
      Apache License 2.0
      •319•0•0•0•Updated Mar 21, 2026Mar 21, 2026

    • fls

      Public
      Ferrocene Language Specification
      reStructuredText
      •41•3•0•0•Updated Mar 12, 2026Mar 12, 2026

    • prost

      Public
      PROST! a Protocol Buffers implementation for the Rust Language
      Rust
      •
      Apache License 2.0
      •616•0•0•0•Updated Mar 2, 2026Mar 2, 2026

    • upstream-libc

      Public
      Public fork of libc
      Rust
      •
      Apache License 2.0
      •1.2k•0•0•0•Updated Feb 19, 2026Feb 19, 2026

    • kellnr

      Public
      The registry for Rust crates
      Rust
      •
      Apache License 2.0
      •79•4•0•0•Updated Feb 18, 2026Feb 18, 2026

    • micropb

      Public
      Rust Protobuf library targetting embedded systems and no_std environments without an allocator
      Rust
      •
      Apache License 2.0
      •9•0•0•0•Updated Jan 19, 2026Jan 19, 2026

    • grcov

      Public
      Rust tool to collect and aggregate code coverage data for multiple source files
      Rust
      •
      Mozilla Public License 2.0
      •165•1•0•0•Updated Apr 7, 2025Apr 7, 2025

    • sphinx-shared-resources

      Public archive
      Themes and extensions shared between our Sphinx sites
      Python
      •0•0•0•0•Updated Jan 27, 2025Jan 27, 2025

    • lsp-types

      Public
      Types for communicating with a language server
      Rust
      •
      MIT License
      •116•1•0•0•Updated Sep 4, 2024Sep 4, 2024

    • nuttx

      Public
      Apache NuttX is a mature, real-time embedded operating system (RTOS)
      C
      •
      Apache License 2.0
      •1.6k•1•0•0•Updated Aug 29, 2024Aug 29, 2024

    • backtrace-rs

      Public
      Backtraces in Rust
      Rust
      •
      Other
      •283•1•0•0•Updated Aug 1, 2024Aug 1, 2024

    • cargo

      Public
      The Rust package manager
      Rust
      •
      Apache License 2.0
      •2.9k•0•0•0•Updated May 1, 2024May 1, 2024

    • sysinfo

      Public
      Cross-platform library to fetch system information
      Rust
      •
      MIT License
      •410•1•0•0•Updated Mar 28, 2024Mar 28, 2024

    • .github

      Public
      Metadata for the Ferrocene org
      0•0•0•0•Updated Oct 4, 2023Oct 4, 2023

    • sphinx

      Public
      The Sphinx documentation generator
      Python
      •
      Other
      •2.4k•0•0•0•Updated Sep 17, 2023Sep 17, 2023

    • reuse-tool

      Public
      The tool for checking and helping with compliance with the REUSE recommendations
      Python
      •162•2•0•0•Updated Apr 6, 2023Apr 6, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.