Lisp Science Foundation

2022年8月14日 (日) 06:20的版本

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

数学

• 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飞机分析套件

链接