欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Lisp Mobile Foundation
来自开放百科 - 灰狐
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
链接
分享您的观点
