Skip to content
Change the repository type filter

All

    Repositories list

    • ferrocene

      Public
      Source code of Ferrocene, safety-critical Rust toolchain
      Rust
      Other
      381.3k129Updated Dec 13, 2024Dec 13, 2024
    • Ferrocene Language Specification
      Python
      30401462Updated Dec 11, 2024Dec 11, 2024
    • rust

      Public
      Empowering everyone to build reliable and efficient software.
      13k600Updated Dec 9, 2024Dec 9, 2024
    • Ferrocene's toolchain manager.
      Rust
      51002Updated Dec 3, 2024Dec 3, 2024
    • Themes and extensions shared between our Sphinx sites
      Python
      0100Updated Nov 29, 2024Nov 29, 2024
    • lsp-types

      Public
      Types for communicating with a language server
      Rust
      MIT License
      87000Updated Sep 4, 2024Sep 4, 2024
    • nuttx

      Public
      Apache NuttX is a mature, real-time embedded operating system (RTOS)
      C
      Apache License 2.0
      1.2k000Updated Aug 29, 2024Aug 29, 2024
    • Backtraces in Rust
      Rust
      Other
      249000Updated Aug 1, 2024Aug 1, 2024
    • Public fork of libc
      Rust
      Apache License 2.0
      1k000Updated May 15, 2024May 15, 2024
    • cargo

      Public
      The Rust package manager
      Rust
      Apache License 2.0
      2.4k000Updated May 1, 2024May 1, 2024
    • sysinfo

      Public
      Cross-platform library to fetch system information
      Rust
      MIT License
      326100Updated Mar 28, 2024Mar 28, 2024
    • .github

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

      Public
      The Sphinx documentation generator
      Python
      Other
      2.1k000Updated Sep 17, 2023Sep 17, 2023
    • The tool for checking and helping with compliance with the REUSE recommendations
      Python
      150200Updated Apr 6, 2023Apr 6, 2023