欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Lisp ecosystem
来自开放百科 - 灰狐
Lisp ecosystem
目录 |
基金会
新闻
项目集
- Awesome Common Lisp
- Awesome Scheme
- Common Lisp Libraries Find Common Lisp libraries shipped by Quicklisp Quickref
- common-lisp-libraries
用户服务商
语言编译器
- Common Lisp implementation
- Scheme 语言实现
- R7RS Benchmarks for various Scheme implementations.
- The most comprehensive list of Scheme implementations
- Embedded scripting languages
- Common Lisp, Scheme
- Steel Bank Common Lisp
- GNU Common Lisp
- LFE
- IronScheme
- LispWorks
- Clojure
- newLISP for AI, simulation, natural language processing, big data, machine learning and statistics.
- GNU Guile
- Gambit Scheme & LambdaNative
- Chez Scheme
- MIT/GNU Scheme
- Gauche Scheme Scripting Engine
- CHICKEN_Scheme
- SCI Small Clojure Interpreter for scripting and Clojure DSLs.
- s7 is a Scheme implementation
- cmacro Lisp macros for C
- Bigloo Compiles Scheme to C, JVM and .NET
- Chibi-Scheme Minimal Scheme Implementation for use as an Extension Language
- Cyclone A Scheme -> C compiler with a good FFI
开发者
Common Lisp & Scheme 核心开发者
.NET
与 .NET 的集成和互操作
- Bike Common Lisp .Net Core Interop
- ClojureCLR
- IronScheme
- CSLisp
类型系统
包管理
- 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 ...
- ASDF build system
- FiveAM Common Lisp regression testing framework
桌面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+
- WiLiKi a Wiki engine written in Scheme
网络系统
网络、Socket、服务器、系统编程
数据科学
- cl-ana Common Lisp data analysis library
- Numcl NumPy clone in Common Lisp
金融交易
人工智能
人工智能, 机器学习, 深度学习, 神经网络, NLP in Lisp
- AI & Machine Learning
- CLML Common Lisp Machine Learning
- CL-NLP a Lisp NLP toolkit
- mgl Common Lisp machine learning library.
数学物理
并发并行
线程、并行、并发、异步以及Actor model、分布式、云计算
- Bordeaux-Threads Portable shared-state concurrency for Common Lisp
- lparallel Parallelism for Common Lisp
- cl-gserver Actor framework featuring actors and agents
音乐视频
游戏
- Lisp Games Wiki Common Lisp Games
- Trial Yet another Common Lisp game engine
移动App
实时嵌入式
- Gambit
- ECL (Embeddable Common-Lisp)
- LambdaChip - The future of IoT An optimizing compiler and VM for embedded systems. Scheme R7RS.
安全密码学
区块链
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、软硬件规范、形式化语言、定理验证等领域
图集
链接
分享您的观点