欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Lisp Desktop Foundation
来自开放百科 - 灰狐
				
								
				(版本间的差异)
				
																
				
				
								
小 (→项目)  | 
			小 (→操作系统)  | 
			||
| 第38行: | 第38行: | ||
*[[Mezzano]]  | *[[Mezzano]]  | ||
*[https://github.com/froggey/Iota Iota] is an LLVM to Common Lisp transpiler, it converts LLVM bitcode to safe, portable Common Lisp code.  | *[https://github.com/froggey/Iota Iota] is an LLVM to Common Lisp transpiler, it converts LLVM bitcode to safe, portable Common Lisp code.  | ||
| + | *[[GNU Guix]] 提供 [[GNU Guile]] [[Scheme]] 编程接口,以及高级嵌入式领域特定语言(E[[DSL]]),透过此你可以定义软件包和整个操作系统的配置。  | ||
==商业系统==  | ==商业系统==  | ||
2021年12月26日 (日) 14:31的版本
Lisp Desktop Foundation
目录 | 
简介
一个 Lisp 桌面应用生态系统。
功能
指南
应用
- 桌面生产力工具
 - 视频编辑器
 - 2D/3D 图形和模型构建
 - 游戏引擎
 - 写作出版系统
 - 数据可视化
 
项目
- Awesome CL GUI
 - Common Lisp GUI IDE
 - CommonQt
 - CLOG The Common Lisp Omnificent GUI
 - Alloy is a user interface toolkit.
 
图形学
Lisp 对计算机图形学、3D图形学、虚拟环境、OpenGL、Vulkan 等技术的支持和项目应用:
音乐视频
游戏
出版系统
推进 OpenBook 开放出版系统。
操作系统
- Mezzano
 - Iota is an LLVM to Common Lisp transpiler, it converts LLVM bitcode to safe, portable Common Lisp code.
 - GNU Guix 提供 GNU Guile Scheme 编程接口,以及高级嵌入式领域特定语言(EDSL),透过此你可以定义软件包和整个操作系统的配置。
 
商业系统
问题
图集
链接
	分享您的观点