Lisp ecosystem

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(并发并行)
(人工智能)
 
(未显示1个用户的34个中间版本)
第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
  
 
==语言编译器==
 
==语言编译器==
第47行: 第52行:
 
*[[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]]
第61行: 第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]]
  
 
==开发者==
 
==开发者==
第76行: 第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]]),透过此你可以定义软件包和整个操作系统的配置。
第85行: 第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.
  
 
==插件模块化==
 
==插件模块化==
第96行: 第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==
第105行: 第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应用==
第119行: 第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.
  
 
==网络系统==
 
==网络系统==
第124行: 第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]]
  
 
==数据科学==
 
==数据科学==
第137行: 第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]
 +
*[[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.
  
 
==并发并行==
 
==并发并行==
第157行: 第188行:
 
==音乐视频==
 
==音乐视频==
 
*[https://github.com/openmusic-project/ OpenMusic]
 
*[https://github.com/openmusic-project/ OpenMusic]
 +
*[[overtone]] Collaborative Programmable Music
  
 
==游戏==
 
==游戏==
第166行: 第198行:
  
 
==移动App==
 
==移动App==
 +
*[[Lisp Mobile Foundation]]
 
*[[LambdaNative]]
 
*[[LambdaNative]]
  
第213行: 第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
  
 
==图集==
 
==图集==
第232行: 第267行:
 
[[category:scheme]]
 
[[category:scheme]]
 
[[category:ecosystem]]
 
[[category:ecosystem]]
 +
[[category:Huihoo Foundation]]

2023年3月4日 (六) 00:04的最后版本

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

[编辑] 图集

[编辑] 链接

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

变换
操作
导航
工具箱