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.3k 38

  2. criticalup criticalup Public

    Ferrocene's toolchain manager.

    Rust 10 5

  3. specification specification Public

    Ferrocene Language Specification

    Python 401 30

Repositories

Showing 10 of 14 repositories
  • ferrocene Public

    Source code of Ferrocene, safety-critical Rust toolchain

    ferrocene/ferrocene’s past year of commit activity
    Rust 1,325 38 12 9 Updated Dec 13, 2024
  • specification Public

    Ferrocene Language Specification

    ferrocene/specification’s past year of commit activity
    Python 401 30 46 2 Updated Dec 11, 2024
  • rust Public Forked from rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    ferrocene/rust’s past year of commit activity
    6 13,426 0 0 Updated Dec 9, 2024
  • criticalup Public

    Ferrocene's toolchain manager.

    ferrocene/criticalup’s past year of commit activity
    Rust 10 5 0 2 Updated Dec 3, 2024
  • sphinx-shared-resources Public

    Themes and extensions shared between our Sphinx sites

    ferrocene/sphinx-shared-resources’s past year of commit activity
    Python 1 0 0 0 Updated Nov 29, 2024
  • lsp-types Public Forked from gluon-lang/lsp-types

    Types for communicating with a language server

    ferrocene/lsp-types’s past year of commit activity
    Rust 0 MIT 89 0 0 Updated Sep 4, 2024
  • nuttx Public Forked from apache/nuttx

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

    ferrocene/nuttx’s past year of commit activity
    C 0 Apache-2.0 1,207 0 0 Updated Aug 29, 2024
  • backtrace-rs Public Forked from rust-lang/backtrace-rs

    Backtraces in Rust

    ferrocene/backtrace-rs’s past year of commit activity
    Rust 0 256 0 0 Updated Aug 1, 2024
  • 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,069 0 0 Updated May 15, 2024
  • cargo Public Forked from rust-lang/cargo

    The Rust package manager

    ferrocene/cargo’s past year of commit activity
    Rust 0 Apache-2.0 2,566 0 0 Updated May 1, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…