欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Linux Foundation
来自开放百科 - 灰狐
（版本间的差异）
小 (→项目) |
小 (→项目) |
||
| 第10行： | 第10行： | ||
==项目== | ==项目== | ||
| + | [https://www.linuxfoundation.org/projects/ Linux Foundation Projects] | ||
*[[Kubernetes]] | *[[Kubernetes]] | ||
*[[Carrier Grade Linux]] | *[[Carrier Grade Linux]] | ||
2020年10月29日 (四) 07:53的版本
|
您可以在Wikipedia上了解到此条目的英文信息 Linux Foundation Thanks, Wikipedia. |
OSDL – sponsor of Linus Torvalds, the creator of the Linux kernel, and other key developers - is dedicated to accelerating the growth and adoption of Linux-based operating systems in the enterprise. Founded in 2000 and supported by a global consortium of major Linux customers and IT industry leaders, OSDL is a nonprofit organization that provides state-of-the-art computing and test facilities to developers around the world.
目录 |
简介
新闻
项目
文档
图集
链接
分享您的观点
