欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
R System
来自开放百科 - 灰狐
(版本间的差异)
小 (→项目) |
小 (→简介) |
||
第4行: | 第4行: | ||
R System: A graphical Unix-like operating system for x86 desktop computers, 很像 Windows-like 的 [[ReactOS]]。 | R System: A graphical Unix-like operating system for x86 desktop computers, 很像 Windows-like 的 [[ReactOS]]。 | ||
+ | *RNU (RNU is Not Unix) | ||
+ | *[[GNU]] (GNU is Not Unix) | ||
+ | *[[XNU]] (XNU is Not Unix) | ||
+ | |||
+ | ==路线图== | ||
*[[c programming language|C]]/[[C++]] 仍是开发操作系统的首选。(2022.03.25) | *[[c programming language|C]]/[[C++]] 仍是开发操作系统的首选。(2022.03.25) | ||
*based on [https://github.com/redox-os/redox Redox OS] A [[Rust]] Operating System. (2021) | *based on [https://github.com/redox-os/redox Redox OS] A [[Rust]] Operating System. (2021) | ||
第17行: | 第22行: | ||
*Rust:每个人的系统编程语言,20年长期持有; | *Rust:每个人的系统编程语言,20年长期持有; | ||
*Racket:The best of Scheme and Lisp,通用程序设计的编程语言,掌握编程实质,应对未来无限可能。 | *Racket:The best of Scheme and Lisp,通用程序设计的编程语言,掌握编程实质,应对未来无限可能。 | ||
+ | |||
+ | 它们都很好的运行在 R System 上。 | ||
==商业== | ==商业== |
2022年3月27日 (日) 02:13的版本
SwiftOS
目录 |
简介
R System: A graphical Unix-like operating system for x86 desktop computers, 很像 Windows-like 的 ReactOS。
路线图
- C/C++ 仍是开发操作系统的首选。(2022.03.25)
- based on Redox OS A Rust Operating System. (2021)
- R Embedded System(R嵌入系统,RES)(2020.11.04)
- 考虑一个新名字:R System(R系统,RS)(2019.11.25)
Armbian Minimal Debian based Linux for single board computers
Ruby, Rust, Racket(3R程序员)不错的选择和人生规划。
- Ruby:程序员最好的朋友,高效、优雅、快乐;
- Rust:每个人的系统编程语言,20年长期持有;
- Racket:The best of Scheme and Lisp,通用程序设计的编程语言,掌握编程实质,应对未来无限可能。
它们都很好的运行在 R System 上。
商业
- Android
- ReactOS
- Debian
- 基于 FreeBSD 桌面系统 GhostBSD, MidnightBSD, NomadBSD
- pfSense 防火墙
- FreeNAS、TrueNAS 软件定义存储
功能
指南
项目
- SerenityOS C++ 编写
- Rust ecosystem
- XNU
- MINIX
- Servo
- Tock is an embedded operating system
- hyper An HTTP library for Rust
- TiKV is a distributed Key-Value database powered by Rust and Raft
- trust-dns
- notty A new kind of terminal
- Parity Fast, light, and robust Ethereum implementation
图集
链接
分享您的观点