欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Mezzano
来自开放百科 - 灰狐
(版本间的差异)
(以“Mezzano:一个 Common Lisp 编写的操作系统。 ==链接== *[https://github.com/froggey/Mezzano Mezzano @ GitHub] [[category:operati...”为内容创建页面) |
小 |
||
第1行: | 第1行: | ||
+ | Mezzano | ||
+ | |||
+ | ==简介== | ||
Mezzano:一个 [[Common Lisp]] 编写的[[operating system|操作系统]]。 | Mezzano:一个 [[Common Lisp]] 编写的[[operating system|操作系统]]。 | ||
+ | |||
+ | ==功能== | ||
+ | |||
+ | ==指南== | ||
+ | |||
+ | ==项目== | ||
+ | |||
+ | ==图集== | ||
+ | <gallery> | ||
+ | image:mezzano.png|Mezzano | ||
+ | </gallery> | ||
==链接== | ==链接== |
2022年1月17日 (一) 06:31的版本
Mezzano
目录 |
简介
Mezzano:一个 Common Lisp 编写的操作系统。
功能
指南
项目
图集
链接
分享您的观点