Lisp Science Foundation

2022年10月3日 (一) 13:18的最后版本

Lisp Science Foundation

[编辑] 简介

Lisp Science foundation

这里覆盖 Lisp 在科学技术、计算机科学、认知科学、机器人、数学、物理、化学、天文学、航空航天、图像、视频、人工智能、数据科学等以及 STEM 方面的应用基础和成功案例。

Lisp Web Foundation: Lisp Web 生态系统

Lisp Desktop Foundation: Lisp Desktop 生态系统

Lisp Mobile Foundation: Lisp Mobile 生态系统

[编辑] 科学技术

[编辑] STEM

• Racket
• MIT/GNU Scheme
• Common Lisp

[编辑] 数学

用 Lisp 去更多表示、表征、表现数学，维护开发更多的数学基础库、框架和应用。

• Maxima
• Theorem Provers in Common Lisp
• ACL2 Formal verification
• Prototype Verification System (PVS)

[编辑] 物理

[编辑] 化学

[编辑] 计算机科学

• Mezzano

[编辑] 人工智能

人工智能、认知科学、机器学习、深度学习 ...

• OpenCog
• Cyc 是一个致力于将各个领域的本体及常识知识综合地集成在一起，并在此基础上实现知识推理的人工智能项目。

[编辑] 数据科学

• pgloader

[编辑] 机器人

roslisp for ROS

[编辑] 航空航天

[编辑] 图像音视频

Lisp Desktop Foundation

[编辑] 案例

• Lisp 成功应用
• LispWorks in Action

[编辑] 图集

• 

  Maxima计算机代数系统

• 

  Piano飞机分析套件

[编辑] 链接