欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
搜索结果
在本wiki上新建名为“Linux发行版”的页面!
-
481字节(46个字) - 2015年8月17日 (一) 05:51
-
3 KB(231个字) - 2018年4月14日 (六) 03:47
-
209字节(16个字) - 2015年8月26日 (三) 04:23
- *[[Debian]]/[[Ubuntu]]和[[Red Hat]]/[[CentOS]] Linux发行版、[[CoreOS]]/[[Project Atomic|Atomic]]容器OS、机器人操作系统[[Rob11 KB(719个字) - 2023年5月12日 (五) 05:25
- ...s://alpinelinux.org/ Alpine Linux] 发行版(不采用systemd的轻量级Linux发行版,[[OpenWrt]]和[[Android]]也都是)。815字节(48个字) - 2022年9月19日 (一) 06:38
分享您的观点