欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
R System
来自开放百科 - 灰狐
SwiftOS
目录 |
简介
R System: A graphical Unix-like operating system for x86 desktop computers, 很像 Windows-like 的 ReactOS。
路线图
- elementary OS 给出了基于开源软件构建操作系统和商业化的路线图,Vala 是主力桌面应用开发语言。 (2022.05.14)
- 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
- GhostBSD 是一个基于 TrueOS 的 Unix-like 操作系统(曾基于 FreeBSD 开发,于2018年5月2日宣布更换基底),使用 MATE 作为默认的桌面环境(GNOME 也曾是默认的桌面环境)。
- HardenedBSD is a security-enhanced fork of FreeBSD. OPNsense 基于 HardenedBSD 构建。
- pfSense 防火墙
- FreeNAS、TrueNAS 软件定义存储
功能
- IDEX 是桌面系统和应用商店。
- 使用 Vala 语言 和 GTK/gtkmm 构建桌面系统和应用,参考 elementary OS 的发展思路。
指南
项目
- Illumos
- 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
图集
链接
分享您的观点