欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Lisp ecosystem
来自开放百科 - 灰狐
Lisp ecosystem
目录 |
基金会
新闻
项目集
用户服务商
语言编译器
开发者
Common Lisp & Scheme 核心开发者
.NET
与 .NET 的集成和互操作
类型系统
包管理
- 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
插件模块化
DevOps
代码测试、代码质量、代码安全、DevOps ...
桌面IDE
图形GUI
REST API
Web应用
- Lisp Web Foundation
- 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+
网络系统
网络、服务器、系统编程
数据科学
金融交易
人工智能
人工智能, 机器学习, 深度学习, 神经网络, NLP in Lisp
- AI & Machine Learning
- CLML Common Lisp Machine Learning
- CL-NLP a Lisp NLP toolkit
数学物理
并发并行
并行、并发、异步以及分布式、云计算
- lparallel Parallelism for Common Lisp
音乐视频
游戏
移动App
实时嵌入式
安全密码学
区块链
FRP流计算
大数据、流计算、Functional Reactive Programming (FRP) 使用可组合的事件和随时间变化的值,将交互式系统描述为纯函数。
数据库存储
操作系统
- 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、软硬件规范、形式化语言、定理验证等领域
图集
链接
分享您的观点