Lisp ecosystem

来自开放百科 - 灰狐
2022年1月23日 (日) 16:28Allen (讨论 | 贡献)的版本

跳转到: 导航, 搜索

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

包管理

CL-USER> (asdf:load-system :my-system)
CL-USER> (ql:quickload :my-system)

插件模块化

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

数学物理

并发并行

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

图集

链接

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

变换
操作
导航
工具箱