Ferrocene

An open source qualified Rust compiler for functional safety

Pinned Repositories

.github
Metadata for the Ferrocene org
0 4 00
criticalup
Ferrocene's toolchain manager.
Language:Rust8 7 25
ferrocene
Source code of Ferrocene, safety-critical Rust toolchain
Language:Rust1.3k 23 6338
nuttx
Apache NuttX is a mature, real-time embedded operating system (RTOS)
Language:C0 0 00
reuse-tool
The tool for checking and helping with compliance with the REUSE recommendations
Language:Python2 1 00
rust
Empowering everyone to build reliable and efficient software.
6 2 03
specification
Ferrocene Language Specification
Language:Python400 21 20830
sphinx
The Sphinx documentation generator
Language:Python0 1 01
sphinx-shared-resources
Themes and extensions shared between our Sphinx sites
Language:Python1 12 00
sysinfo
Cross-platform library to fetch system information
Language:Rust1 1 00

Ferrocene's Repositories

ferrocene/ferrocene
Source code of Ferrocene, safety-critical Rust toolchain
Language:Rust1.3k 23 6338
ferrocene/specification
Ferrocene Language Specification
Language:Python400 21 20830
ferrocene/criticalup
Ferrocene's toolchain manager.
Language:Rust8 7 25
ferrocene/rust
Empowering everyone to build reliable and efficient software.
6 2 03
ferrocene/reuse-tool
The tool for checking and helping with compliance with the REUSE recommendations
Language:Python2 1 00
ferrocene/sphinx-shared-resources
Themes and extensions shared between our Sphinx sites
Language:Python1 12 00
ferrocene/sysinfo
Cross-platform library to fetch system information
Language:Rust1 1 00
ferrocene/.github
Metadata for the Ferrocene org
0 4 00
ferrocene/backtrace-rs
Backtraces in Rust
Language:Rust0 1 00
ferrocene/cargo
The Rust package manager
Language:Rust0 1 00
ferrocene/nuttx
Apache NuttX is a mature, real-time embedded operating system (RTOS)
Language:C0 0 00
ferrocene/sphinx
The Sphinx documentation generator
Language:Python0 1 01
ferrocene/upstream-libc
Public fork of libc
Language:Rust0 1 00
ferrocene/lsp-types
Types for communicating with a language server