https://github.com/ferrocene/ferrocene

Source code of Ferrocene, safety-critical Rust toolchain
https://github.com/ferrocene/ferrocene

Last synced: about 1 month ago
JSON representation

Source code of Ferrocene, safety-critical Rust toolchain

• Host: GitHub
• URL: https://github.com/ferrocene/ferrocene
• Owner: ferrocene
• License: other
• Created: 2023-10-02T14:26:44.000Z (12 months ago)
• Default Branch: main
• Last Pushed: 2024-04-12T19:15:06.000Z (5 months ago)
• Last Synced: 2024-04-14T05:08:26.089Z (5 months ago)
• Language: Rust
• Homepage: https://ferrous-systems.com/ferrocene
• Size: 942 MB
• Stars: 1,169
• Watchers: 19
• Forks: 25
• Open Issues: 18
• Metadata Files:
  • Readme: README.md
  • License: LICENSE-APACHE

Awesome Lists containing this project