欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Lisp ecosystem
来自开放百科 - 灰狐
(版本间的差异)
小 (→语言编译器) |
小 (→新闻) |
||
(未显示1个用户的50个中间版本) | |||
第3行: | 第3行: | ||
==基金会== | ==基金会== | ||
+ | *[https://cl-foundation.org/ The Common Lisp Foundation] | ||
==新闻== | ==新闻== | ||
+ | [[文件:lisp-logo-128.png|right|Lisp]] | ||
*[https://planet.lisp.org/ Planet Lisp] | *[https://planet.lisp.org/ Planet Lisp] | ||
*[https://planet.scheme.org/ Planet Scheme] | *[https://planet.scheme.org/ Planet Scheme] | ||
*[https://racket-stories.com/ Racket Stories] | *[https://racket-stories.com/ Racket Stories] | ||
*[http://planet.clojure.in/ Planet Clojure] | *[http://planet.clojure.in/ Planet Clojure] | ||
+ | |||
+ | ==会议== | ||
+ | *[https://european-lisp-symposium.org European Lisp Symposium] | ||
==项目集== | ==项目集== | ||
第15行: | 第20行: | ||
*[https://github.com/schemedoc/awesome-scheme Awesome Scheme] [[文件:awesome.png]] | *[https://github.com/schemedoc/awesome-scheme Awesome Scheme] [[文件:awesome.png]] | ||
*[https://github.com/ghosthamlet/awesome-lisp-machine Awesome Lisp Machine] [[文件:awesome.png]] | *[https://github.com/ghosthamlet/awesome-lisp-machine Awesome Lisp Machine] [[文件:awesome.png]] | ||
+ | *[https://github.com/GustavBertram/awesome-common-lisp-learning Awesome Common Lisp Learning] [[文件:awesome.png]] | ||
*[https://common-lisp.net/libraries Common Lisp Libraries] [https://quickdocs.org/ Find Common Lisp libraries shipped by Quicklisp] [https://quickref.common-lisp.net/ Quickref] | *[https://common-lisp.net/libraries Common Lisp Libraries] [https://quickdocs.org/ Find Common Lisp libraries shipped by Quicklisp] [https://quickref.common-lisp.net/ Quickref] | ||
*[https://common-lisp-libraries.readthedocs.io/ common-lisp-libraries] | *[https://common-lisp-libraries.readthedocs.io/ common-lisp-libraries] | ||
+ | *[https://40ants.com/lisp-project-of-the-day/ Lisp Project of the Day] | ||
==用户服务商== | ==用户服务商== | ||
+ | *[https://github.com/azzamsa/awesome-lisp-companies/ Awesome Lisp Company] [[文件:awesome.png]] | ||
+ | *[https://github.com/40ants 40 Ants] Together we'll make Common Lisp ecosystem better [https://40ants.com/projects.html Our projects] | ||
*[[LispWorks]] | *[[LispWorks]] | ||
*[https://github.com/franzinc Franz] [https://franz.com/products/allegro-common-lisp/ Allegro CL] | *[https://github.com/franzinc Franz] [https://franz.com/products/allegro-common-lisp/ Allegro CL] | ||
+ | *[https://mukn.io/ MuKn] (pronounced "moon") develops the open source [https://glow-lang.org/ Glow language] for smart contracts on [[blockchain]]s. The compiler and support libraries are implemented in [https://cons.io/ Gerbil Scheme]. The team is fully remote and is hiring globally. | ||
+ | *[https://www.hexstreamsoft.com/ HexstreamSoft] Public Domain [[Common Lisp]] R&D | ||
==语言编译器== | ==语言编译器== | ||
[[文件:SRFI-logo.png|right|SRFI]] | [[文件:SRFI-logo.png|right|SRFI]] | ||
[[文件:LFE-logo.png|right|LFE]] | [[文件:LFE-logo.png|right|LFE]] | ||
+ | [[文件:Kawa-logo.png|right|Kawa]] | ||
[[文件:Gauche-logo.png|right|Gauche]] | [[文件:Gauche-logo.png|right|Gauche]] | ||
[[文件:CHICKEN-scheme.png|right|CHICKEN Scheme]] | [[文件:CHICKEN-scheme.png|right|CHICKEN Scheme]] | ||
第39行: | 第51行: | ||
*[[Emacs Lisp]] | *[[Emacs Lisp]] | ||
*[[LFE]] | *[[LFE]] | ||
+ | *[[Kawa]] | ||
*[[IronScheme]] | *[[IronScheme]] | ||
*[[LispWorks]] | *[[LispWorks]] | ||
*[[Clojure]] | *[[Clojure]] | ||
+ | *[[Carp]] 融合 Lisp 和 [[Haskell]] | ||
*[[newLISP]] for [[Artificial intelligence |AI]], [[simulation]], [[natural language processing]], [[big data]], [[machine learning]] and [[statistics]]. | *[[newLISP]] for [[Artificial intelligence |AI]], [[simulation]], [[natural language processing]], [[big data]], [[machine learning]] and [[statistics]]. | ||
*[[GNU Guile]] | *[[GNU Guile]] | ||
第55行: | 第69行: | ||
*[https://github.com/ashinn/chibi-scheme Chibi-Scheme] Minimal Scheme Implementation for use as an Extension Language | *[https://github.com/ashinn/chibi-scheme Chibi-Scheme] Minimal Scheme Implementation for use as an Extension Language | ||
*[https://github.com/justinethier/cyclone Cyclone] A Scheme -> C [[compiler]] with a good FFI | *[https://github.com/justinethier/cyclone Cyclone] A Scheme -> C [[compiler]] with a good FFI | ||
+ | *[https://github.com/Glow-Lang/glow The Glow language] for [[Blockchain]] Decentralized Applications. | ||
+ | *[https://github.com/SteelSeries/golisp golisp] A [[Scheme]]-flavored Lisp implemented in [[Go]]. | ||
+ | *[https://github.com/akeep/scheme-to-llvm Scheme-to-LLVM] A [[compiler]] to compile a simple subset of scheme to [[LLVM]] 10 | ||
+ | *[https://github.com/coalton-lang The Coalton programming language] | ||
+ | *[https://github.com/quil-lang Quil quantum programming language] | ||
+ | *[https://github.com/cbaggers/varjo Varjo] is a Lisp to [[GLSL]] [[compiler]] | ||
+ | *[https://github.com/borodust/cl-bodge CL-LSP] is an implementation of the [[Language Server Protocol]] (LSP) for Common Lisp. | ||
+ | *[https://github.com/Shen-Language/shen-cl Shen Programming Language] for [[Common Lisp]] | ||
+ | *[https://github.com/jscl-project/jscl JSCL] is a Common Lisp to [[JavaScript]] [[compiler]] | ||
==开发者== | ==开发者== | ||
第70行: | 第93行: | ||
[[文件:coalton-type-system.png|right]] | [[文件:coalton-type-system.png|right]] | ||
*[https://github.com/coalton-lang/coalton Coalton typed language] Typing Haskell in Haskell ([https://github.com/coalton-lang/coalton/tree/main/examples/thih In Coalton]) | *[https://github.com/coalton-lang/coalton Coalton typed language] Typing Haskell in Haskell ([https://github.com/coalton-lang/coalton/tree/main/examples/thih In Coalton]) | ||
+ | *[https://github.com/stylewarning/cl-algebraic-data-type CL-ALGEBRAIC-DATA-TYPE] Algebraic data types in Common Lisp | ||
− | == | + | ==库包管理== |
+ | Library, Package, Repository. | ||
*[[Quicklisp]] | *[[Quicklisp]] | ||
*[[GNU Guix]] 提供 [[GNU Guile]] [[Scheme]] 编程接口,以及高级嵌入式领域特定语言(E[[DSL]]),透过此你可以定义软件包和整个操作系统的配置。 | *[[GNU Guix]] 提供 [[GNU Guile]] [[Scheme]] 编程接口,以及高级嵌入式领域特定语言(E[[DSL]]),透过此你可以定义软件包和整个操作系统的配置。 | ||
第79行: | 第104行: | ||
CL-USER> (asdf:load-system :my-system) | CL-USER> (asdf:load-system :my-system) | ||
CL-USER> (ql:quickload :my-system) | CL-USER> (ql:quickload :my-system) | ||
+ | *[https://github.com/stylewarning/quickutil Quickutil] The solution to the Utility Library problem. | ||
==插件模块化== | ==插件模块化== | ||
第88行: | 第114行: | ||
*[https://common-lisp-libraries.readthedocs.io/asdf/ ASDF] [[Build automation|build system]] | *[https://common-lisp-libraries.readthedocs.io/asdf/ ASDF] [[Build automation|build system]] | ||
*[https://github.com/lispci/fiveam FiveAM] Common Lisp regression testing framework | *[https://github.com/lispci/fiveam FiveAM] Common Lisp regression testing framework | ||
+ | *[https://github.com/tdrhq/slite/ SLITE] a SLIme-based TEst runner for FiveAM and Parachute Tests | ||
+ | *[https://github.com/screenshotbot/screenshotbot-oss Screenshotbot] Screenshot Testing Service | ||
+ | *[https://github.com/OdonataResearchLLC/lisp-unit lisp-unit] a [[Common Lisp]] library that supports [[unit testing]] | ||
==桌面IDE== | ==桌面IDE== | ||
*[[Lisp Desktop Foundation]] | *[[Lisp Desktop Foundation]] | ||
+ | *[https://github.com/stumpwm/stumpwm Stump Window Manager (StumpWM)] is a [[Desktop environment|window manager]] written entirely in [[Common Lisp]]. | ||
==图形GUI== | ==图形GUI== | ||
第96行: | 第126行: | ||
==REST API== | ==REST API== | ||
+ | *[https://github.com/mmontone/cl-rest-server cl-rest-server] [[Common Lisp]] [[REST]] Server | ||
+ | *[https://github.com/joaotavora/snooze Snooze] Common Lisp RESTful web development | ||
==Web应用== | ==Web应用== | ||
[[文件:powered-by-coleslaw-small.jpg|right|Coleslaw]] | [[文件:powered-by-coleslaw-small.jpg|right|Coleslaw]] | ||
*[[Lisp Web Foundation]] | *[[Lisp Web Foundation]] | ||
+ | *[https://github.com/atlas-engineer/nyxt Nyxt browser] | ||
*[https://github.com/fukamachi/woo Woo] is a fast non-blocking HTTP server built on top of libev. | *[https://github.com/fukamachi/woo Woo] is a fast non-blocking HTTP server built on top of libev. | ||
*[https://github.com/fukamachi/clack Clack] Web Application Environment for Common Lisp | *[https://github.com/fukamachi/clack Clack] Web Application Environment for Common Lisp | ||
第108行: | 第141行: | ||
*[https://github.com/rabbibotton/clog CLOG] The Common Lisp Omnificent GUI | *[https://github.com/rabbibotton/clog CLOG] The Common Lisp Omnificent GUI | ||
*[https://github.com/coleslaw-org coleslaw] Flexible Lisp Blogware, Comments via [http://disqus.com/ Disqus] or [https://github.com/posativ/isso Isso] [https://github.com/coleslaw-org/coleslaw/wiki/Example-sites Sites powered by Coleslaw] [https://blog.kingcons.io/ Improved Means for Achieving Deteriorated Ends] | *[https://github.com/coleslaw-org coleslaw] Flexible Lisp Blogware, Comments via [http://disqus.com/ Disqus] or [https://github.com/posativ/isso Isso] [https://github.com/coleslaw-org/coleslaw/wiki/Example-sites Sites powered by Coleslaw] [https://blog.kingcons.io/ Improved Means for Achieving Deteriorated Ends] | ||
+ | *[[eww]] | ||
+ | *[https://commondoc.github.io/ CommonDoc] A [[Common Lisp Object System|CLOS]] framework for representing and converting documents. | ||
==网络系统== | ==网络系统== | ||
第113行: | 第148行: | ||
*[https://scsh.net/ Scsh] Unix shell embedded within [[Scheme]] | *[https://scsh.net/ Scsh] Unix shell embedded within [[Scheme]] | ||
*[https://github.com/usocket/usocket USOCKET] Universal [[socket]] library for Common Lisp | *[https://github.com/usocket/usocket USOCKET] Universal [[socket]] library for Common Lisp | ||
+ | *[https://github.com/orthecreedence/cl-async cl-async] Asynchronous IO library for [[Common Lisp]] | ||
==数据科学== | ==数据科学== | ||
第123行: | 第159行: | ||
==[[Financial technology|金融交易]]== | ==[[Financial technology|金融交易]]== | ||
+ | *[[Clojure]] | ||
==人工智能== | ==人工智能== | ||
+ | [[文件:opencog-logo.png|right|OpenCog]] | ||
[[Artificial intelligence|人工智能]], [[machine learning|机器学习]], [[deep learning|深度学习]], [[Artificial neural network|神经网络]], [[Natural language processing|NLP]] in Lisp | [[Artificial intelligence|人工智能]], [[machine learning|机器学习]], [[deep learning|深度学习]], [[Artificial neural network|神经网络]], [[Natural language processing|NLP]] in Lisp | ||
*[https://lisp-lang.org/success/ai/ AI & Machine Learning] | *[https://lisp-lang.org/success/ai/ AI & Machine Learning] | ||
+ | *[[OpenCog]] A framework for integrated Artificial Intelligence & Artificial General Intelligence (AGI), Written in [[Scheme]]. | ||
+ | OpenCog Foundation - Building better minds together,OpenCog 是一个独特且雄心勃勃的开源软件项目,愿景是创建一个人工通用智能(Artificial General Intelligence, AGI)的开源框架,旨在有朝一日能够表达人类水平及以上的通用智能。OpenCog 核心软件包使用 [[Scheme]] 开发。[https://blog.opencog.org/ OpenCog Brainwave] | ||
*[https://mmaul.github.io/clml/ CLML Common Lisp Machine Learning] | *[https://mmaul.github.io/clml/ CLML Common Lisp Machine Learning] | ||
*[https://github.com/vseloved/cl-nlp CL-NLP] a Lisp NLP toolkit | *[https://github.com/vseloved/cl-nlp CL-NLP] a Lisp NLP toolkit | ||
*[https://github.com/melisgl/mgl mgl] [[Common Lisp]] [[machine learning]] library. | *[https://github.com/melisgl/mgl mgl] [[Common Lisp]] [[machine learning]] library. | ||
*[https://github.com/ddmcdonald/sparser Sparser] A [[natural language understanding]] system for English | *[https://github.com/ddmcdonald/sparser Sparser] A [[natural language understanding]] system for English | ||
+ | *[https://mind.ai/ Mind.ai] Developing the next generation of symbolic AI systems, Uses [[LispWorks]]. [https://medium.com/mind-ai/how-mind-ai-is-different-from-other-open-source-ai-projects-29c4920e76db How Mind AI is different from other open-source AI projects] | ||
==数学物理== | ==数学物理== | ||
*[[ACL2]] | *[[ACL2]] | ||
*[[Maxima]] | *[[Maxima]] | ||
+ | *[https://github.com/fricas/fricas FriCAS] is a fork of the [[Axiom]] computer algebra system. | ||
+ | |||
+ | ==量子计算== | ||
+ | [[文件:Quil-language-logo.png|right|Quil language]] | ||
+ | *[https://github.com/quil-lang Quil] [[量子计算|quantum]] programming language and ecosystem. | ||
==并发并行== | ==并发并行== | ||
第141行: | 第187行: | ||
*[https://github.com/lmj/lparallel lparallel] Parallelism for Common Lisp | *[https://github.com/lmj/lparallel lparallel] Parallelism for Common Lisp | ||
*[https://github.com/mdbergmann/cl-gserver cl-gserver] Actor framework featuring actors and agents | *[https://github.com/mdbergmann/cl-gserver cl-gserver] Actor framework featuring actors and agents | ||
+ | *[https://github.com/vyzo/gerbil/tree/master/src/std/actor Gerbil Scheme] Actor Language | ||
==音乐视频== | ==音乐视频== | ||
*[https://github.com/openmusic-project/ OpenMusic] | *[https://github.com/openmusic-project/ OpenMusic] | ||
+ | *[[overtone]] Collaborative Programmable Music | ||
==游戏== | ==游戏== | ||
第153行: | 第201行: | ||
==移动App== | ==移动App== | ||
+ | *[[Lisp Mobile Foundation]] | ||
*[[LambdaNative]] | *[[LambdaNative]] | ||
==实时嵌入式== | ==实时嵌入式== | ||
− | [[文件:lambdachip-logo.png|right]] | + | [[文件:lambdachip-logo.png|right|LambdaChip]] |
+ | [[文件:ulisp-logo.gif|right|uLisp]] | ||
+ | *[[uLisp]] | ||
*[[Gambit]] | *[[Gambit]] | ||
*[https://common-lisp.net/project/ecl/ ECL (Embeddable Common-Lisp)] | *[https://common-lisp.net/project/ecl/ ECL (Embeddable Common-Lisp)] | ||
第180行: | 第231行: | ||
*[https://clsql.kpe.io/ CLSQL] | *[https://clsql.kpe.io/ CLSQL] | ||
*[https://github.com/fukamachi/mito Mito] An [[ORM]] for [[MySQL]], [[PostgreSQL]] and [[SQLite]]3 | *[https://github.com/fukamachi/mito Mito] An [[ORM]] for [[MySQL]], [[PostgreSQL]] and [[SQLite]]3 | ||
+ | *[https://github.com/dimitri/pgcharts pgcharts] [[PostgreSQL]] Charts | ||
==操作系统== | ==操作系统== | ||
第190行: | 第242行: | ||
==机器人== | ==机器人== | ||
+ | *[https://wiki.ros.org/roslisp roslisp] for [[ROS]] | ||
==硬件芯片== | ==硬件芯片== | ||
第196行: | 第249行: | ||
*[[ACL2]] | *[[ACL2]] | ||
*[https://github.com/kingcons/cl-6502 cl-6502] A 6502 [[emulator]] in Lisp. | *[https://github.com/kingcons/cl-6502 cl-6502] A 6502 [[emulator]] in Lisp. | ||
+ | *[https://github.com/SRI-CSL/PVS PVS Specification and Verification System] [https://github.com/nasa/pvslib NASALib] | ||
+ | *[[Common Lisp]] [http://www.nuprl.org/ PRL Project] Proofs as Programs | ||
==图集== | ==图集== | ||
第215行: | 第270行: | ||
[[category:scheme]] | [[category:scheme]] | ||
[[category:ecosystem]] | [[category:ecosystem]] | ||
+ | [[category:Huihoo Foundation]] |
2024年8月19日 (一) 10:01的最后版本
Lisp ecosystem
目录 |
[编辑] 基金会
[编辑] 新闻
[编辑] 会议
[编辑] 项目集
- Awesome Common Lisp
- Awesome Scheme
- Awesome Lisp Machine
- Awesome Common Lisp Learning
- Common Lisp Libraries Find Common Lisp libraries shipped by Quicklisp Quickref
- common-lisp-libraries
- Lisp Project of the Day
[编辑] 用户服务商
- Awesome Lisp Company
- 40 Ants Together we'll make Common Lisp ecosystem better Our projects
- LispWorks
- Franz Allegro CL
- MuKn (pronounced "moon") develops the open source Glow language for smart contracts on blockchains. The compiler and support libraries are implemented in Gerbil Scheme. The team is fully remote and is hiring globally.
- HexstreamSoft Public Domain Common Lisp R&D
[编辑] 语言编译器
- Common Lisp implementation Common Lisp HyperSpec
- Scheme 语言实现
- R7RS Benchmarks for various Scheme implementations.
- The most comprehensive list of Scheme implementations
- Embedded scripting languages
- Common Lisp, Scheme
- Steel Bank Common Lisp
- GNU Common Lisp
- Emacs Lisp
- LFE
- Kawa
- IronScheme
- LispWorks
- Clojure
- Carp 融合 Lisp 和 Haskell
- newLISP for AI, simulation, natural language processing, big data, machine learning and statistics.
- GNU Guile
- Gambit Scheme & LambdaNative
- Chez Scheme
- MIT/GNU Scheme
- Gauche Scheme Scripting Engine
- CHICKEN_Scheme
- SCI Small Clojure Interpreter for scripting and Clojure DSLs.
- s7 is a Scheme implementation
- cmacro Lisp macros for C
- Bigloo Compiles Scheme to C, JVM and .NET
- Chibi-Scheme Minimal Scheme Implementation for use as an Extension Language
- Cyclone A Scheme -> C compiler with a good FFI
- The Glow language for Blockchain Decentralized Applications.
- golisp A Scheme-flavored Lisp implemented in Go.
- Scheme-to-LLVM A compiler to compile a simple subset of scheme to LLVM 10
- The Coalton programming language
- Quil quantum programming language
- Varjo is a Lisp to GLSL compiler
- CL-LSP is an implementation of the Language Server Protocol (LSP) for Common Lisp.
- Shen Programming Language for Common Lisp
- JSCL is a Common Lisp to JavaScript compiler
[编辑] 开发者
Common Lisp & Scheme 核心开发者
[编辑] .NET
与 .NET 的集成和互操作
- Bike Common Lisp .Net Core Interop
- ClojureCLR
- IronScheme
- CSLisp
- Foil a Foreign Object Interface for Lisp
[编辑] 类型系统
- Coalton typed language Typing Haskell in Haskell (In Coalton)
- CL-ALGEBRAIC-DATA-TYPE Algebraic data types in Common Lisp
[编辑] 库包管理
Library, Package, Repository.
- Quicklisp
- GNU Guix 提供 GNU Guile Scheme 编程接口,以及高级嵌入式领域特定语言(EDSL),透过此你可以定义软件包和整个操作系统的配置。
- Qlot A project-local library installer for Common Lisp
- Ultralisp The software behind a Ultralisp.org Common Lisp repository
- Writing Libraries
CL-USER> (asdf:load-system :my-system) CL-USER> (ql:quickload :my-system)
- Quickutil The solution to the Utility Library problem.
[编辑] 插件模块化
[编辑] DevOps
代码测试、代码质量、代码安全、DevOps ...
- ASDF build system
- FiveAM Common Lisp regression testing framework
- SLITE a SLIme-based TEst runner for FiveAM and Parachute Tests
- Screenshotbot Screenshot Testing Service
- lisp-unit a Common Lisp library that supports unit testing
[编辑] 桌面IDE
- Lisp Desktop Foundation
- Stump Window Manager (StumpWM) is a window manager written entirely in Common Lisp.
[编辑] 图形GUI
- Sketch A CL framework for the creation of electronic art, graphics, and lots more.
[编辑] REST API
- cl-rest-server Common Lisp REST Server
- Snooze Common Lisp RESTful web development
[编辑] Web应用
- Lisp Web Foundation
- Nyxt browser
- Woo is a fast non-blocking HTTP server built on top of libev.
- Clack Web Application Environment for Common Lisp
- Hunchentoot Web server written in Common Lisp
- Eitaro Fukamachi Web app engineer based in Tokyo, Japan. An author of Clack, Woo, Mito, Qlot, and other 50+
- WiLiKi a Wiki engine written in Scheme
- Caveman2 Lightweight web application framework
- CLOG The Common Lisp Omnificent GUI
- coleslaw Flexible Lisp Blogware, Comments via Disqus or Isso Sites powered by Coleslaw Improved Means for Achieving Deteriorated Ends
- eww
- CommonDoc A CLOS framework for representing and converting documents.
[编辑] 网络系统
网络、Socket、服务器、系统编程
- Scsh Unix shell embedded within Scheme
- USOCKET Universal socket library for Common Lisp
- cl-async Asynchronous IO library for Common Lisp
[编辑] 数据科学
- Data Science Tooling For Racket
- cl-ana Common Lisp data analysis library
- Numcl NumPy clone in Common Lisp
- GNU Scientific Library for Lisp(GSLL)
- RCL A Common Lisp Interface to R
[编辑] 金融交易
[编辑] 人工智能
人工智能, 机器学习, 深度学习, 神经网络, NLP in Lisp
- AI & Machine Learning
- OpenCog A framework for integrated Artificial Intelligence & Artificial General Intelligence (AGI), Written in Scheme.
OpenCog Foundation - Building better minds together,OpenCog 是一个独特且雄心勃勃的开源软件项目,愿景是创建一个人工通用智能(Artificial General Intelligence, AGI)的开源框架,旨在有朝一日能够表达人类水平及以上的通用智能。OpenCog 核心软件包使用 Scheme 开发。OpenCog Brainwave
- CLML Common Lisp Machine Learning
- CL-NLP a Lisp NLP toolkit
- mgl Common Lisp machine learning library.
- Sparser A natural language understanding system for English
- Mind.ai Developing the next generation of symbolic AI systems, Uses LispWorks. How Mind AI is different from other open-source AI projects
[编辑] 数学物理
[编辑] 量子计算
[编辑] 并发并行
线程、并行、并发、异步以及Actor model、分布式、云计算
- Bordeaux-Threads Portable shared-state concurrency for Common Lisp
- lparallel Parallelism for Common Lisp
- cl-gserver Actor framework featuring actors and agents
- Gerbil Scheme Actor Language
[编辑] 音乐视频
[编辑] 游戏
- Lisp Games Wiki Common Lisp Games
- all-known-github-lisp-games
- Trial Yet another Common Lisp game engine
- Virality Engine A component-based game engine written in Common Lisp
- Clinch Common Lisp 3D/2D Graphics Engine for OpenGL
[编辑] 移动App
[编辑] 实时嵌入式
- uLisp
- Gambit
- ECL (Embeddable Common-Lisp)
- LambdaChip - The future of IoT An optimizing compiler and VM for embedded systems. Scheme R7RS.
[编辑] 安全密码学
- Ironclad A cryptographic toolkit written in Common Lisp
[编辑] 区块链
- legochain Simple educational blockchain in Common Lisp
- emotiq a next-generation blockchain, 实现了自己的 Actor model
[编辑] FRP流计算
大数据、流计算、Functional Reactive Programming (FRP) 使用可组合的事件和随时间变化的值,将交互式系统描述为纯函数。
- cells an implementation of the data flow programming paradigm
[编辑] 数据库存储
- pgloader
- postmodern
- SxQL a macro-based SQL DSL, An SQL generator for Common Lisp.
- VivaceGraph graph database
- CL-Yesql is a Common Lisp library for using SQL, based on Clojure’s Yesql.
- CLSQL
- Mito An ORM for MySQL, PostgreSQL and SQLite3
- pgcharts PostgreSQL Charts
[编辑] 操作系统
- Mezzano
- 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
[编辑] 机器人
[编辑] 硬件芯片
涉及 proof assistant、软硬件规范、形式化语言、定理验证等领域
- ACL2
- cl-6502 A 6502 emulator in Lisp.
- PVS Specification and Verification System NASALib
- Common Lisp PRL Project Proofs as Programs
[编辑] 图集
[编辑] 链接
分享您的观点