Lisp ecosystem

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(语言编译器)
(链接)
(未显示1个用户的36个中间版本)
第6行: 第6行:
  
 
==新闻==
 
==新闻==
 +
[[文件: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]
第16行: 第17行:
 
*[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/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://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]]
第42行: 第48行:
 
*[[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]]
第59行: 第67行:
 
*[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/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]]
  
 
==开发者==
 
==开发者==
第74行: 第90行:
 
[[文件: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]]),透过此你可以定义软件包和整个操作系统的配置。
第83行: 第101行:
 
  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.
  
 
==插件模块化==
 
==插件模块化==
第94行: 第113行:
 
*[https://github.com/tdrhq/slite/ SLITE] a SLIme-based TEst runner for FiveAM and Parachute Tests  
 
*[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/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==
第103行: 第123行:
  
 
==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应用==
第117行: 第139行:
 
*[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]]
 
*[[eww]]
 +
*[https://commondoc.github.io/ CommonDoc] A [[Common Lisp Object System|CLOS]] framework for representing and converting documents.
  
 
==网络系统==
 
==网络系统==
第122行: 第145行:
 
*[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]]
  
 
==数据科学==
 
==数据科学==
第135行: 第159行:
  
 
==人工智能==
 
==人工智能==
 +
[[文件: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]
 +
*[https://github.com/opencog/opencog 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.
  
 
==并发并行==
 
==并发并行==
第151行: 第184行:
 
*[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
  
 
==游戏==
 
==游戏==
第163行: 第198行:
  
 
==移动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)]
第208行: 第246行:
 
*[[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
  
 
==图集==
 
==图集==
第227行: 第267行:
 
[[category:scheme]]
 
[[category:scheme]]
 
[[category:ecosystem]]
 
[[category:ecosystem]]
 +
[[category:Huihoo Foundation]]

2022年12月3日 (六) 05:18的版本

Lisp ecosystem

Lisp-logo.png

目录

基金会

新闻

Lisp

项目集

Awesome Lisp Machine

用户服务商

语言编译器

SRFI
LFE
Kawa
Gauche
CHICKEN Scheme
newLisp
Chibi-Scheme

开发者

Common Lisp & Scheme 核心开发者

.NET

.NET 的集成和互操作

类型系统

Coalton-type-system.png

库包管理

Library, Package, Repository.

CL-USER> (asdf:load-system :my-system)
CL-USER> (ql:quickload :my-system)
  • Quickutil The solution to the Utility Library problem.

插件模块化

DevOps

代码测试、代码质量、代码安全、DevOps ...

桌面IDE

图形GUI

  • Sketch A CL framework for the creation of electronic art, graphics, and lots more.

REST API

Web应用

Coleslaw

网络系统

网络、Socket、服务器、系统编程

数据科学

数据科学统计学数据可视化数据分析

金融交易

人工智能

OpenCog

人工智能, 机器学习, 深度学习, 神经网络, NLP in Lisp

OpenCog Foundation - Building better minds together,OpenCog 是一个独特且雄心勃勃的开源软件项目,愿景是创建一个人工通用智能(Artificial General Intelligence, AGI)的开源框架,旨在有朝一日能够表达人类水平及以上的通用智能。OpenCog 核心软件包使用 Scheme 开发。OpenCog Brainwave

数学物理

量子计算

Quil language

并发并行

线程、并行、并发、异步以及Actor model、分布式、云计算

音乐视频

游戏

移动App

实时嵌入式

LambdaChip
uLisp

安全密码学

区块链

FRP流计算

大数据、流计算、Functional Reactive Programming (FRP) 使用可组合的事件和随时间变化的值,将交互式系统描述为纯函数。

  • cells an implementation of the data flow programming paradigm

数据库存储

操作系统

GNU Guix
  • 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、软硬件规范、形式化语言、定理验证等领域 Formal-Verification.png

图集

链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱