欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Lisp Mobile Foundation
来自开放百科 - 灰狐
（版本间的差异）
小 (→项目) |
小 (→图集) |
||
| （未显示1个用户的3个中间版本） | |||
| 第11行： | 第11行： | ||
[[Lisp Desktop Foundation]]: Lisp Desktop 生态系统 | [[Lisp Desktop Foundation]]: Lisp Desktop 生态系统 | ||
| + | |||
| + | [[灰狐移动]] 核心架构。 | ||
==功能== | ==功能== | ||
| 第20行： | 第22行： | ||
==项目== | ==项目== | ||
| + | [[文件:Status-logo.png|right|Status]] | ||
[[文件:lambdachip-logo.png|right|LambdaChip]] | [[文件:lambdachip-logo.png|right|LambdaChip]] | ||
[[文件:ulisp-logo.gif|right|uLisp]] | [[文件:ulisp-logo.gif|right|uLisp]] | ||
| + | *[https://github.com/status-im Status] a Mobile Ethereum Operating System | ||
*[[uLisp]] | *[[uLisp]] | ||
*[[Gambit]] | *[[Gambit]] | ||
| + | *[[Carp]] language | ||
*[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. | ||
| 第32行： | 第37行： | ||
image:lisp-badge-hand.jpg|Lisp Badge | image:lisp-badge-hand.jpg|Lisp Badge | ||
image:Gambit-REPL.jpeg|Gambit REPL | image:Gambit-REPL.jpeg|Gambit REPL | ||
| + | image:carp-on-arduboy.jpg|Carp on Arduboy | ||
</gallery> | </gallery> | ||
2022年9月30日 (五) 01:09的最后版本
Lisp Mobile Foundation
目录 |
[编辑] 简介
Lisp Mobile foundation
这里覆盖 Lisp 在移动、机器人、微处理器、嵌入式、物联网方面的应用基础。
Lisp Web Foundation: Lisp Web 生态系统
Lisp Desktop Foundation: Lisp Desktop 生态系统
灰狐移动 核心架构。
[编辑] 功能
[编辑] 指南
[编辑] 软件栈
[编辑] 项目
- Status a Mobile Ethereum Operating System
- uLisp
- Gambit
- Carp language
- ECL (Embeddable Common-Lisp)
- LambdaChip - The future of IoT An optimizing compiler and VM for embedded systems. Scheme R7RS.
- roslisp for ROS
[编辑] 图集
Lisp Badge
Gambit REPL
Carp on Arduboy
[编辑] 链接
分享您的观点
