Skip to content
@ferrocene

Ferrocene

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

Pinned Loading

  1. ferrocene Public

    Source code of Ferrocene, safety-critical Rust toolchain

    Rust 1.4k 40

  2. criticalup Public

    Ferrocene's toolchain manager.

    Rust 15 5

  3. specification Public

    Ferrocene Language Specification

    Python 431 30

Repositories

Showing 10 of 15 repositories
  • rust Public Forked from rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    6 13,898 0 0 Updated Apr 22, 2025
  • ferrocene Public

    Source code of Ferrocene, safety-critical Rust toolchain

    Rust 1,409 40 13 20 Updated Apr 22, 2025
  • criticalup Public

    Ferrocene's toolchain manager.

    Rust 15 5 0 3 Updated Apr 21, 2025
  • specification Public

    Ferrocene Language Specification

    Python 431 30 49 2 Updated Apr 17, 2025
  • grcov Public Forked from mozilla/grcov

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

    Rust 0 MPL-2.0 162 0 0 Updated Apr 7, 2025
  • sphinx-shared-resources Public archive

    Themes and extensions shared between our Sphinx sites

    Python 1 0 0 0 Updated Jan 27, 2025
  • lsp-types Public Forked from gluon-lang/lsp-types

    Types for communicating with a language server

    Rust 0 MIT 98 0 0 Updated Sep 4, 2024
  • nuttx Public Forked from apache/nuttx

    Apache NuttX is a mature, real-time embedded operating system (RTOS)

    C 0 Apache-2.0 1,302 0 0 Updated Aug 29, 2024
  • backtrace-rs Public Forked from rust-lang/backtrace-rs

    Backtraces in Rust

    Rust 0 266 0 0 Updated Aug 1, 2024
  • upstream-libc Public Forked from rust-lang/libc

    Public fork of libc

    Rust 0 Apache-2.0 1,122 0 0 Updated May 15, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…