欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Lisp Desktop Foundation
来自开放百科 - 灰狐
（版本间的差异）
小 (→图形学) |
小 |
||
| 第30行： | 第30行： | ||
==窗口系统== | ==窗口系统== | ||
*[https://github.com/stumpwm/stumpwm Stump Window Manager (StumpWM)] is a [[Desktop environment|window manager]] written entirely in [[Common Lisp]]. | *[https://github.com/stumpwm/stumpwm Stump Window Manager (StumpWM)] is a [[Desktop environment|window manager]] written entirely in [[Common Lisp]]. | ||
| + | *[https://github.com/McCLIM/McCLIM McCLIM] an implementation of the Common Lisp Interface Manager CLIM II Specification | ||
==项目== | ==项目== | ||
| 第70行： | 第71行： | ||
推进 [[OpenBook]] 开放出版系统。 | 推进 [[OpenBook]] 开放出版系统。 | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
==操作系统== | ==操作系统== | ||
| 第93行： | 第87行： | ||
*[https://github.com/robert-strandh/LispOS LispOS] | *[https://github.com/robert-strandh/LispOS LispOS] | ||
*[https://github.com/VicCodezz/DreamOS DreamOS] written in R5RS [[Scheme]] | *[https://github.com/VicCodezz/DreamOS DreamOS] written in R5RS [[Scheme]] | ||
| + | |||
| + | ==Lisp机器== | ||
| + | *[http://www.cs.utah.edu/~mflatt/past-courses/cs6510/public_html/lispm.pdf Architecture of LISP Machines] | ||
| + | *[https://tumbleweed.nu/lm-3/ LM-3] resurrecting the MIT CADR | ||
| + | *[https://github.com/lisper/cpus-caddr cpus-caddr] [[Verilog]] [[FPGA]] re-implementation of MIT CADR lisp machine | ||
| + | *[http://lispm.de/ccl Installing Clozure Common Lisp on the Raspberry Pi and related ARM-based computers running GNU/Linux] | ||
| + | *[https://www.bogodyne.com/ Bogodyne Metatechnics] | ||
==商业系统== | ==商业系统== | ||
| 第102行： | 第103行： | ||
<gallery> | <gallery> | ||
image:openmusic-sharp.png|OM# | image:openmusic-sharp.png|OM# | ||
| + | image:McCLIM-Demos.png|McCLIM演示 | ||
</gallery> | </gallery> | ||
2022年1月24日 (一) 09:45的版本
Lisp Desktop Foundation
目录 |
简介
一个 Lisp 桌面应用生态系统，以 Emacs 和 Emacs Lisp 逐步展开。
Lisp Web Foundation Lisp Web 生态系统。
Lisp Machine and Lisp Operating System.
功能
指南
应用
- 桌面生产力工具
- 音乐编排DJ混音,Computer-Assisted Composition（计算机辅助作曲）
- 视频编辑器
- 2D/3D 图形和模型构建
- 游戏引擎
- 写作出版系统
- 数据可视化
窗口系统
- Stump Window Manager (StumpWM) is a window manager written entirely in Common Lisp.
- McCLIM an implementation of the Common Lisp Interface Manager CLIM II Specification
项目
- Awesome CL GUI
- Common Lisp GUI IDE
- Racket DrRacket IDE for Racket
- CommonQt
- Nyxt browser
- CLOG The Common Lisp Omnificent GUI
- Alloy is a user interface toolkit.
- Gtk-Demos
- IUP Common Lisp CFFI bindings to the IUP Portable User Interface library
Editor/IDE
- GNU Emacs
- SLY is Sylvester the Cat's Common Lisp IDE for Emacs
图形学
Lisp 对计算机图形学、3D图形学、虚拟环境、OpenGL、Vulkan 等技术的支持和项目应用：
- WEIRD A Generative Art System
- Sketch A CL framework for the creation of electronic art, graphics, and lots more.
- cl-glfw3 GLFW
- Clinch Common Lisp 3D/2D Graphics Engine for OpenGL
- Mesa 3D
音乐视频
- OpenMusic IRCAM Softwares
- OM# – Visual Programming | Computer-assisted Music Composition derived from OpenMusic
- Opusmodus Structural Composition System
游戏
- Lisp Games Wiki Common Lisp Games
- Common Lisp Game
- Fennel is lisp that compiles to Lua.
- Urn A Lisp implementation for Lua
- Kandria 使用 Alloy
出版系统
推进 OpenBook 开放出版系统。
操作系统
- Mezzano
- ChrysaLisp
- Emacs Lisp & Emacs OS（Emacs 是一个不折不扣的操作系统）
- Iota is an LLVM to Common Lisp transpiler, it converts LLVM bitcode to safe, portable Common Lisp code.
- GNU Guix 提供 GNU Guile Scheme 编程接口，以及高级嵌入式领域特定语言（EDSL），透过此你可以定义软件包和整个操作系统的配置。
- CLX is an X11 client library for Common Lisp
- Huihoo GNU/Guix（G2）基于 GNU Guix 和 Lisp ecosystem 的操作系统 :)
- Yalo is a Lisp OS running on bare metal x86-64 hardware.
- PilOS A Stand-Alone Operating System
- Genera operating system written in Lisp
- 3L The Computing System of the Future
- LispOS
- DreamOS written in R5RS Scheme
Lisp机器
- Architecture of LISP Machines
- LM-3 resurrecting the MIT CADR
- cpus-caddr Verilog FPGA re-implementation of MIT CADR lisp machine
- Installing Clozure Common Lisp on the Raspberry Pi and related ARM-based computers running GNU/Linux
- Bogodyne Metatechnics
商业系统
问题
图集
OM#
McCLIM演示
链接
分享您的观点
