Lisp ecosystem

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(语言编译器)
(数学物理)
(未显示1个用户的16个中间版本)
第16行: 第16行:
 
*[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]
第22行: 第23行:
 
==用户服务商==
 
==用户服务商==
 
*[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]
第49行: 第51行:
 
*[[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]]
第67行: 第70行:
 
*[https://github.com/coalton-lang The Coalton programming language]
 
*[https://github.com/coalton-lang The Coalton programming language]
 
*[https://github.com/quil-lang Quil quantum 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]]
  
 
==开发者==
 
==开发者==
第82行: 第89行:
 
[[文件: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
  
 
==库包管理==
 
==库包管理==
第104行: 第112行:
 
*[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==
第129行: 第138行:
 
*[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.
  
 
==网络系统==
 
==网络系统==
第152行: 第162行:
 
*[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]].  
 
*[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]] 开发。
+
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
第162行: 第172行:
 
*[[ACL2]]
 
*[[ACL2]]
 
*[[Maxima]]
 
*[[Maxima]]
 +
 +
==量子计算==
 +
*[https://github.com/quil-lang Quil] [[量子计算|quantum]] programming language and ecosystem.
  
 
==并发并行==
 
==并发并行==
第172行: 第185行:
 
==音乐视频==
 
==音乐视频==
 
*[https://github.com/openmusic-project/ OpenMusic]
 
*[https://github.com/openmusic-project/ OpenMusic]
 +
*[[overtone]] Collaborative Programmable Music
  
 
==游戏==
 
==游戏==
第181行: 第195行:
  
 
==移动App==
 
==移动App==
 +
*[[Lisp Mobile Foundation]]
 
*[[LambdaNative]]
 
*[[LambdaNative]]
  
第229行: 第244行:
 
*[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]
 
*[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
  
 
==图集==
 
==图集==

2022年6月28日 (二) 13:09的版本

Lisp ecosystem

Lisp-logo.png

目录

基金会

新闻

项目集

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

数学物理

量子计算

并发并行

线程、并行、并发、异步以及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

图集

链接

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

变换
操作
导航
工具箱