欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Lisp Desktop Foundation
来自开放百科 - 灰狐
（版本间的差异）
小 (→操作系统) |
小 (→Editor/IDE) |
||
| （未显示1个用户的60个中间版本） | |||
| 第1行： | 第1行： | ||
Lisp Desktop Foundation | Lisp Desktop Foundation | ||
| + | |||
| + | [[文件:Lisp-Machine-and-Lisp-OS.png|right|Awesome Lisp Machine]] | ||
| + | [[文件:Racket-logo.png|right]] | ||
==简介== | ==简介== | ||
| − | 一个 [[Lisp]] | + | [[文件:Emacs.png|right|Emacs]] |
| + | [https://github.com/ghosthamlet/awesome-lisp-machine Awesome Lisp Machine] [[文件:awesome.png]] | ||
| + | |||
| + | 一个 [[Lisp]] 桌面应用生态系统，以 [[Emacs]] 和 [[Emacs Lisp]] 逐步展开。 | ||
| + | |||
| + | [[Lisp Web Foundation]] Lisp Web 生态系统。 | ||
| + | |||
| + | Lisp Machine and Lisp [[operating system|Operating System]]. | ||
==功能== | ==功能== | ||
==指南== | ==指南== | ||
| + | *[https://lispcookbook.github.io/cl-cookbook/gui.html The Common Lisp Cookbook – GUI toolkits] | ||
==应用== | ==应用== | ||
| − | *桌面生产力工具 | + | *[[Emacs]]桌面生产力工具 |
| + | *音乐编排DJ混音,Computer-Assisted Composition（计算机辅助作曲） | ||
*视频编辑器 | *视频编辑器 | ||
*2D/3D 图形和模型构建 | *2D/3D 图形和模型构建 | ||
*游戏引擎 | *游戏引擎 | ||
| − | *写作出版系统 | + | *[[Emacs]]写作出版系统 |
*[[Data visualization|数据可视化]] | *[[Data visualization|数据可视化]] | ||
| + | |||
| + | ==窗口系统== | ||
| + | *[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 | ||
==项目== | ==项目== | ||
| − | *[https://www.cliki.net/GUI Common Lisp GUI] | + | [[文件:Made-with-lisp.jpg|right|Made with LISP]] |
| + | [[文件:Nyxt-128x128.png|right|Nyxt browser]] | ||
| + | *[https://github.com/CodyReichert/awesome-cl#Gui Awesome CL GUI] | ||
| + | *[https://www.cliki.net/GUI Common Lisp GUI] [https://www.cliki.net/IDE IDE] | ||
| + | *[[Racket]] [https://docs.racket-lang.org/drracket/index.html DrRacket] [https://github.com/racket/drracket IDE for Racket] | ||
| + | *[[Carp]] language | ||
*[[CommonQt]] | *[[CommonQt]] | ||
| + | *[https://github.com/atlas-engineer/nyxt Nyxt browser] | ||
| + | *[https://github.com/rabbibotton/clog CLOG] The [[Common Lisp]] Omnificent GUI | ||
| + | *[https://github.com/Shirakumo/alloy Alloy] is a user interface toolkit. | ||
| + | *[https://github.com/mifpasoti/Gtk-Demos Gtk-Demos] | ||
| + | *[https://github.com/lispnik/iup/ IUP] Common Lisp CFFI bindings to the [https://github.com/topics/iup IUP Portable User Interface library] | ||
| + | *[https://shirakumo.github.io/alloy/ Alloy] user interface toolkit. | ||
| + | *[https://ceramic.github.io/ Ceramic]is built on top of [[Electron]], Bring the web to the desktop. | ||
| + | |||
| + | ==Editor/IDE== | ||
| + | *[[GNU Emacs]] | ||
| + | *[https://github.com/racket/drracket/ DrRacket] IDE for [[Racket]] | ||
| + | *[https://github.com/joaotavora/sly SLY] is Sylvester the Cat's [[Common Lisp]] [[IDE]] for [[Emacs]] | ||
==图形学== | ==图形学== | ||
Lisp 对计算机图形学、3D图形学、虚拟环境、[[OpenGL]]、[[Vulkan]] 等技术的支持和项目应用： | Lisp 对计算机图形学、3D图形学、虚拟环境、[[OpenGL]]、[[Vulkan]] 等技术的支持和项目应用： | ||
| + | *[https://github.com/inconvergent/weird WEIRD] A Generative Art System | ||
| + | *[https://github.com/vydd/sketch Sketch] A CL framework for the creation of electronic art, graphics, and lots more. | ||
| + | *[https://github.com/AlexCharlton/cl-glfw3 cl-glfw3] [https://www.glfw.org/ GLFW] | ||
| + | *[https://github.com/BradWBeer/CLinch Clinch] Common Lisp 3D/2D Graphics Engine for OpenGL | ||
| + | *[[Mesa 3D]] | ||
==音乐视频== | ==音乐视频== | ||
| − | *[https://github.com/openmusic-project/ OpenMusic] | + | *[https://github.com/openmusic-project/ OpenMusic] [https://www.ircam.fr/ IRCAM] [https://www.ircam.fr/innovations/abonnements-et-logiciels/ Softwares] |
| + | *[https://cac-t-u-s.github.io/ OM# – Visual Programming | Computer-assisted Music Composition] derived from OpenMusic, based on [[Common Lisp]]. | ||
| + | *[https://opusmodus.com/ Opusmodus] Structural Composition System | ||
| + | *[[LilyPond|GNU LilyPond]] 实用 [[C++]] 和 [[GNU Guile]] 编写 | ||
| + | *[https://commonmusic.sourceforge.net/ Common Music] [https://ccrma.stanford.edu/software/clm/ CLM (Common Lisp Music)] [https://ccrma.stanford.edu/software/cmn/ CMN (Common Music Notation)] [https://ccrma.stanford.edu/ Stanford CCRMA] | ||
==游戏== | ==游戏== | ||
| + | *[https://github.com/lispgames/lispgames.github.io/wiki Lisp Games Wiki] [https://github.com/lispgames/lispgames.github.io/wiki/Common-Lisp Common Lisp Games] | ||
*[https://www.cliki.net/Game Common Lisp Game] | *[https://www.cliki.net/Game Common Lisp Game] | ||
| + | *[https://fennel-lang.org/ Fennel] is lisp that compiles to [[Lua]]. | ||
| + | *[https://urn-lang.com/ Urn] A Lisp implementation for Lua | ||
| + | *[https://github.com/shinmera/kandria Kandria] 使用 [https://github.com/Shirakumo/alloy Alloy] | ||
| + | *[https://github.com/Shirakumo/trial Trial] is a [[game engine]] written in [[Common Lisp]] | ||
| + | *[https://github.com/borodust/cl-bodge cl-bodge] Feature-rich game framework for Common Lisp | ||
==出版系统== | ==出版系统== | ||
| + | [[Emacs Muse]] | ||
| + | |||
推进 [[OpenBook]] 开放出版系统。 | 推进 [[OpenBook]] 开放出版系统。 | ||
==操作系统== | ==操作系统== | ||
| + | [[文件:gnu-guix.png|right|GNU Guix]] | ||
*[[Mezzano]] | *[[Mezzano]] | ||
| + | *[[ChrysaLisp]] | ||
| + | *[[Emacs Lisp]] & Emacs OS（Emacs 是一个不折不扣的操作系统） | ||
*[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]]），透过此你可以定义软件包和整个操作系统的配置。 | ||
| + | *[https://github.com/sharplispers/clx CLX] is an [[X11]] client library for Common Lisp | ||
| + | *Huihoo GNU/Guix（G2）基于 [[GNU Guix]] 和 [[Lisp ecosystem]] 的操作系统 :) | ||
| + | *[https://github.com/whily/yalo Yalo] is a Lisp OS running on bare metal x86-64 hardware. | ||
| + | *[https://picolisp.com/wiki/?PilOS PilOS] A Stand-Alone Operating System | ||
| + | *[https://en.wikipedia.org/wiki/Genera_(operating_system) Genera operating system] written in [[Lisp]] | ||
| + | *[https://3lproject.org/ 3L] The Computing System of the Future | ||
| + | *[https://github.com/robert-strandh/LispOS LispOS] | ||
| + | *[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] | ||
==商业系统== | ==商业系统== | ||
| 第43行： | 第112行： | ||
==图集== | ==图集== | ||
<gallery> | <gallery> | ||
| + | image:openmusic-sharp.png|OM# | ||
| + | image:McCLIM-Demos.png|McCLIM演示 | ||
</gallery> | </gallery> | ||
| 第51行： | 第122行： | ||
[[category:lisp]] | [[category:lisp]] | ||
[[category:GTK]] | [[category:GTK]] | ||
| + | [[category:computer graphics]] | ||
[[category:desktop environment]] | [[category:desktop environment]] | ||
| + | [[category:operating system]] | ||
[[category:Huihoo Foundation]] | [[category:Huihoo Foundation]] | ||
2022年10月2日 (日) 00:34的最后版本
Lisp Desktop Foundation
目录 |
[编辑] 简介
一个 Lisp 桌面应用生态系统，以 Emacs 和 Emacs Lisp 逐步展开。
Lisp Web Foundation Lisp Web 生态系统。
Lisp Machine and Lisp Operating System.
[编辑] 功能
[编辑] 指南
[编辑] 应用
- Emacs桌面生产力工具
- 音乐编排DJ混音,Computer-Assisted Composition（计算机辅助作曲）
- 视频编辑器
- 2D/3D 图形和模型构建
- 游戏引擎
- Emacs写作出版系统
- 数据可视化
[编辑] 窗口系统
- 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
- Carp language
- 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
- Alloy user interface toolkit.
- Ceramicis built on top of Electron, Bring the web to the desktop.
[编辑] Editor/IDE
[编辑] 图形学
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, based on Common Lisp.
- Opusmodus Structural Composition System
- GNU LilyPond 实用 C++ 和 GNU Guile 编写
- Common Music CLM (Common Lisp Music) CMN (Common Music Notation) Stanford CCRMA
[编辑] 游戏
- Lisp Games Wiki Common Lisp Games
- Common Lisp Game
- Fennel is lisp that compiles to Lua.
- Urn A Lisp implementation for Lua
- Kandria 使用 Alloy
- Trial is a game engine written in Common Lisp
- cl-bodge Feature-rich game framework for Common Lisp
[编辑] 出版系统
推进 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演示
[编辑] 链接
分享您的观点
