欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Lisp Desktop Foundation
来自开放百科 - 灰狐
Lisp Desktop Foundation
目录 |
简介
一个 Lisp 桌面应用生态系统。
功能
指南
应用
- 桌面生产力工具
- 视频编辑器
- 2D/3D 图形和模型构建
- 游戏引擎
- 写作出版系统
- 数据可视化
项目
图形学
Lisp 对计算机图形学、3D图形学、虚拟环境、OpenGL、Vulkan 等技术的支持和项目应用：
音乐视频
游戏
出版系统
推进 OpenBook 开放出版系统。
操作系统
- Mezzano
- Iota is an LLVM to Common Lisp transpiler, it converts LLVM bitcode to safe, portable Common Lisp code.
问题
图集
链接
分享您的观点
