欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Lisp Mobile Foundation
来自开放百科 - 灰狐
(版本间的差异)
小 (→简介) |
|||
(未显示1个用户的2个中间版本) | |||
第6行: | 第6行: | ||
Lisp Mobile foundation | Lisp Mobile foundation | ||
− | 这里覆盖 Lisp | + | 这里覆盖 Lisp 在[[Mobile|移动]]、[[Robot|机器人]]、[[Microcontroller|微处理器]]、[[Embedded system|嵌入式]]、[[Internet_of_Things|物联网]]方面的应用基础。 |
[[Lisp Web Foundation]]: [[Lisp]] Web 生态系统 | [[Lisp Web Foundation]]: [[Lisp]] Web 生态系统 | ||
[[Lisp Desktop Foundation]]: Lisp Desktop 生态系统 | [[Lisp Desktop Foundation]]: Lisp Desktop 生态系统 | ||
+ | |||
+ | [[灰狐移动]] 核心架构。 | ||
==功能== | ==功能== | ||
第26行: | 第28行: | ||
*[https://common-lisp.net/project/ecl/ ECL (Embeddable Common-Lisp)] | *[https://common-lisp.net/project/ecl/ ECL (Embeddable Common-Lisp)] | ||
*[https://lambdachip.com/ LambdaChip - The future of IoT] An optimizing [[compiler]] and VM for embedded systems. [[Scheme]] R7RS. | *[https://lambdachip.com/ LambdaChip - The future of IoT] An optimizing [[compiler]] and VM for embedded systems. [[Scheme]] R7RS. | ||
+ | *[https://wiki.ros.org/roslisp roslisp] for [[ROS]] | ||
==图集== | ==图集== |
2022年1月26日 (三) 08:31的版本
Lisp Mobile Foundation
目录 |
简介
Lisp Mobile foundation
这里覆盖 Lisp 在移动、机器人、微处理器、嵌入式、物联网方面的应用基础。
Lisp Web Foundation: Lisp Web 生态系统
Lisp Desktop Foundation: Lisp Desktop 生态系统
灰狐移动 核心架构。
功能
指南
软件栈
项目
- uLisp
- Gambit
- ECL (Embeddable Common-Lisp)
- LambdaChip - The future of IoT An optimizing compiler and VM for embedded systems. Scheme R7RS.
- roslisp for ROS
图集
链接
分享您的观点