Lisp ecosystem

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(网络系统)
(新闻)
 
(未显示1个用户的79个中间版本)
第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]
  
 
==项目集==
 
==项目集==
 +
[[文件:Lisp-Machine-and-Lisp-OS.png|right|Awesome Lisp Machine]]
 
*[https://github.com/CodyReichert/awesome-cl Awesome Common Lisp] [[image:awesome.png]]
 
*[https://github.com/CodyReichert/awesome-cl Awesome Common Lisp] [[image:awesome.png]]
 
*[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/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]]
 +
*[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]]
 
[[文件:newlisp-logo-horizontal-240x100.png|right|newLisp]]
 
[[文件:newlisp-logo-horizontal-240x100.png|right|newLisp]]
 
[[文件:chibi-scheme.png|right|Chibi-Scheme]]
 
[[文件:chibi-scheme.png|right|Chibi-Scheme]]
*[https://www.cliki.net/Common%20Lisp%20implementation Common Lisp implementation]
+
*[https://www.cliki.net/Common%20Lisp%20implementation Common Lisp implementation] [http://www.lispworks.com/documentation/lw80/CLHS/Front/index.htm Common Lisp HyperSpec]
 
*[https://github.com/schemedoc/awesome-scheme#implementations Scheme 语言实现]
 
*[https://github.com/schemedoc/awesome-scheme#implementations Scheme 语言实现]
 
*[https://github.com/ecraven/r7rs-benchmarks R7RS Benchmarks] for various Scheme implementations.  
 
*[https://github.com/ecraven/r7rs-benchmarks R7RS Benchmarks] for various Scheme implementations.  
第33行: 第49行:
 
*[[Steel Bank Common Lisp]]
 
*[[Steel Bank Common Lisp]]
 
*[[GNU Common Lisp]]
 
*[[GNU Common 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]]
第50行: 第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]]
  
 
==开发者==
 
==开发者==
第60行: 第88行:
 
*[[IronScheme]]
 
*[[IronScheme]]
 
*[https://github.com/rzubek/CSLisp CSLisp]
 
*[https://github.com/rzubek/CSLisp CSLisp]
 +
*[http://foil.sourceforge.net/ Foil] a Foreign Object Interface for Lisp
  
 
==类型系统==
 
==类型系统==
 +
[[文件: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/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]]),透过此你可以定义软件包和整个操作系统的配置。
 
*[https://github.com/fukamachi/qlot Qlot] A project-local library installer for Common Lisp  
 
*[https://github.com/fukamachi/qlot Qlot] A project-local library installer for Common Lisp  
 
*[https://github.com/ultralisp/ultralisp Ultralisp] The software behind a [https://ultralisp.org/ Ultralisp.org] Common Lisp repository
 
*[https://github.com/ultralisp/ultralisp Ultralisp] The software behind a [https://ultralisp.org/ Ultralisp.org] Common Lisp repository
 +
*[https://lisp-lang.org/learn/writing-libraries Writing Libraries]
 +
CL-USER> (asdf:load-system :my-system)
 +
CL-USER> (ql:quickload :my-system)
 +
*[https://github.com/stylewarning/quickutil Quickutil] The solution to the Utility Library problem.
  
 
==插件模块化==
 
==插件模块化==
 +
*[[Common Lisp Object System]]
 +
*[https://dreamsongs.com/CLOS.html Common Lisp Object System]
  
 
==DevOps==
 
==DevOps==
第75行: 第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==
 +
*[https://github.com/vydd/sketch Sketch] A CL framework for the creation of electronic art, graphics, and lots more.
  
 
==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]]
 
*[[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/clack Clack] Web Application Environment for Common Lisp
 
*[https://github.com/edicl/hunchentoot Hunchentoot] [[Web server]] written in [[Common Lisp]]  
 
*[https://github.com/edicl/hunchentoot Hunchentoot] [[Web server]] written in [[Common Lisp]]  
 
*[https://github.com/fukamachi Eitaro Fukamachi] Web app engineer based in Tokyo, Japan. An author of Clack, Woo, Mito, Qlot, and other 50+
 
*[https://github.com/fukamachi Eitaro Fukamachi] Web app engineer based in Tokyo, Japan. An author of Clack, Woo, Mito, Qlot, and other 50+
 
*[https://github.com/shirok/WiLiKi WiLiKi] a [[Wiki]] engine written in [[Scheme]]
 
*[https://github.com/shirok/WiLiKi WiLiKi] a [[Wiki]] engine written in [[Scheme]]
 +
*[https://github.com/fukamachi/caveman Caveman2] Lightweight web application framework
 +
*[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]
 +
*[[eww]]
 +
*[https://commondoc.github.io/ CommonDoc] A [[Common Lisp Object System|CLOS]] framework for representing and converting documents.
  
 
==网络系统==
 
==网络系统==
第93行: 第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]]
  
 
==数据科学==
 
==数据科学==
 +
[[Data science|数据科学]]、[[Statistics|统计学]]、[[Data visualization|数据可视化]]、[[Data analysis|数据分析]]
 +
*[https://github.com/n3mo/data-science Data Science Tooling] For [[Racket]]
 
*[https://github.com/ghollisjr/cl-ana cl-ana] [[Common Lisp]] [[data analysis]] library  
 
*[https://github.com/ghollisjr/cl-ana cl-ana] [[Common Lisp]] [[data analysis]] library  
 
*[https://github.com/numcl/numcl Numcl] [[NumPy]] clone in [[Common Lisp]]
 
*[https://github.com/numcl/numcl Numcl] [[NumPy]] clone in [[Common Lisp]]
 +
*[https://common-lisp.net/project/gsll/ GNU Scientific Library for Lisp(GSLL)] 
 +
*[https://common-lisp.net/project/rcl/ RCL] A [[Common Lisp]] Interface to [[R]]
  
 
==[[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://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]]
 +
*[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.
  
 
==并发并行==
 
==并发并行==
第115行: 第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
  
 
==游戏==
 
==游戏==
 
*[https://github.com/lispgames/lispgames.github.io/wiki Lisp Games Wiki] [https://github.com/lispgames/lispgames.github.io/wiki/Common-Lisp Common Lisp Games]
 
*[https://github.com/lispgames/lispgames.github.io/wiki Lisp Games Wiki] [https://github.com/lispgames/lispgames.github.io/wiki/Common-Lisp Common Lisp Games]
 +
*[https://github.com/gregcman/all-known-github-lisp-games all-known-github-lisp-games]
 
*[https://github.com/shirakumo/trial Trial] Yet another [[Common Lisp]] [[game engine]]
 
*[https://github.com/shirakumo/trial Trial] Yet another [[Common Lisp]] [[game engine]]
 +
*[https://github.com/bufferswap/ViralityEngine Virality Engine] A component-based game engine written in Common Lisp
 +
*[https://github.com/BradWBeer/clinch Clinch] [[Common Lisp]] [[3D]]/[[2D]] Graphics Engine for [[OpenGL]]
  
 
==移动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)]
第133行: 第213行:
  
 
==安全密码学==
 
==安全密码学==
 +
*[https://github.com/sharplispers/ironclad Ironclad] A [[Cryptography|cryptographic]] toolkit written in [[Common Lisp]]
  
 
==区块链==
 
==区块链==
 +
*[https://github.com/defunkydrummer/legochain legochain] Simple educational blockchain in Common Lisp
 +
*[https://github.com/emotiq/emotiq emotiq] a next-generation [[blockchain]], 实现了[https://github.com/emotiq/emotiq/tree/dev/src/Actors 自己]的 [[Actor model]]
  
 
==FRP流计算==
 
==FRP流计算==
 
大数据、流计算、Functional Reactive Programming (FRP) 使用可组合的事件和随时间变化的值,将交互式系统描述为纯函数。
 
大数据、流计算、Functional Reactive Programming (FRP) 使用可组合的事件和随时间变化的值,将交互式系统描述为纯函数。
 +
*[https://github.com/kennytilton/cells cells] an implementation of the data flow programming paradigm
  
 
==数据库存储==
 
==数据库存储==
 
*[[pgloader]]
 
*[[pgloader]]
 +
*[[postmodern]]
 +
*[https://github.com/fukamachi/sxql SxQL] a macro-based SQL [[DSL]], An SQL generator for [[Common Lisp]].
 
*[https://github.com/kraison/vivace-graph-v3 VivaceGraph] [[graph database]]
 
*[https://github.com/kraison/vivace-graph-v3 VivaceGraph] [[graph database]]
 +
*[https://github.com/ruricolist/cl-yesql CL-Yesql] is a Common Lisp library for using SQL, based on [[Clojure]]’s Yesql.
 +
*[https://clsql.kpe.io/ CLSQL]
 +
*[https://github.com/fukamachi/mito Mito] An [[ORM]] for [[MySQL]], [[PostgreSQL]] and [[SQLite]]3
 +
*[https://github.com/dimitri/pgcharts pgcharts] [[PostgreSQL]] Charts
  
 
==操作系统==
 
==操作系统==
第152行: 第242行:
  
 
==机器人==
 
==机器人==
 +
*[https://wiki.ros.org/roslisp roslisp] for [[ROS]]
  
 
==硬件芯片==
 
==硬件芯片==
第157行: 第248行:
 
[[文件:Formal-Verification.png]]
 
[[文件:Formal-Verification.png]]
 
*[[ACL2]]
 
*[[ACL2]]
 +
*[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
  
 
==图集==
 
==图集==
第176行: 第270行:
 
[[category:scheme]]
 
[[category:scheme]]
 
[[category:ecosystem]]
 
[[category:ecosystem]]
 +
[[category:Huihoo Foundation]]

2024年8月19日 (一) 10:01的最后版本

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

[编辑] 图集

[编辑] 链接

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

变换
操作
导航
工具箱