欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
LEAF
来自开放百科 - 灰狐
（版本间的差异）
小 (→功能) |
小 (→项目) |
||
| 第9行： | 第9行： | ||
==项目== | ==项目== | ||
*[https://bering-uclibc.zetam.org/wiki/Main_Page LEAF] | *[https://bering-uclibc.zetam.org/wiki/Main_Page LEAF] | ||
| + | *[https://bering-uclibc.zetam.org/wiki/Bering-uClibc_7.x Bering-uClibc 7.x] | ||
| + | *[https://bering-uclibc.zetam.org/wiki/Bering-uClibc_6.x Bering-uClibc 6.x] | ||
| + | *[https://bering-uclibc.zetam.org/wiki/Bering-uClibc_5.x Bering-uClibc 5.x] | ||
==图集== | ==图集== | ||
2022年5月24日 (二) 02:38的版本
|
您可以在Wikipedia上了解到此条目的英文信息 LEAF Thanks, Wikipedia. |
Linux Embedded Appliance Framework (LEAF)
目录 |
简介
功能
项目
图集
链接
分享您的观点
