欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Lisp ecosystem
来自开放百科 - 灰狐
(版本间的差异)
小 (→项目集) |
小 (→新闻) |
||
(未显示1个用户的28个中间版本) | |||
第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] | ||
*[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] | ||
==项目集== | ==项目集== | ||
第16行: | 第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] | ||
第22行: | 第27行: | ||
==用户服务商== | ==用户服务商== | ||
*[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行: | 第55行: | ||
*[[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]] | ||
第65行: | 第72行: | ||
*[https://github.com/SteelSeries/golisp golisp] A [[Scheme]]-flavored Lisp implemented in [[Go]]. | *[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/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]] | ||
==开发者== | ==开发者== | ||
第80行: | 第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]]),透过此你可以定义软件包和整个操作系统的配置。 | ||
第89行: | 第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. | ||
==插件模块化== | ==插件模块化== | ||
第100行: | 第116行: | ||
*[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== | ||
第109行: | 第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应用== | ||
第123行: | 第142行: | ||
*[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. | ||
==网络系统== | ==网络系统== | ||
第128行: | 第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]] | ||
==数据科学== | ==数据科学== | ||
第144行: | 第165行: | ||
[[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 | ||
第154行: | 第176行: | ||
*[[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. | ||
==并发并行== | ==并发并行== | ||
第164行: | 第191行: | ||
==音乐视频== | ==音乐视频== | ||
*[https://github.com/openmusic-project/ OpenMusic] | *[https://github.com/openmusic-project/ OpenMusic] | ||
+ | *[[overtone]] Collaborative Programmable Music | ||
==游戏== | ==游戏== | ||
第173行: | 第201行: | ||
==移动App== | ==移动App== | ||
+ | *[[Lisp Mobile Foundation]] | ||
*[[LambdaNative]] | *[[LambdaNative]] | ||
第221行: | 第250行: | ||
*[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 | ||
==图集== | ==图集== | ||
第240行: | 第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
[编辑] 图集
[编辑] 链接
分享您的观点