欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Lisp ecosystem
来自开放百科 - 灰狐
Lisp ecosystem
目录 |
基金会
新闻
项目集
- Awesome Common Lisp
- Awesome Scheme
- Awesome Lisp Machine
- Common Lisp Libraries Find Common Lisp libraries shipped by Quicklisp Quickref
- common-lisp-libraries
- Lisp Project of the Day
用户服务商
- Awesome Lisp Company
- LispWorks
- Franz Allegro CL
- MuKn (pronounced "moon") develops the open source Glow language for smart contracts on blockchains. The compiler and support libraries are implemented in Gerbil Scheme. The team is fully remote and is hiring globally.
- HexstreamSoft Public Domain Common Lisp R&D
语言编译器
- Common Lisp implementation Common Lisp HyperSpec
- 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
- Emacs Lisp
- LFE
- Kawa
- 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
- The Glow language for Blockchain Decentralized Applications.
- golisp A Scheme-flavored Lisp implemented in Go.
- Scheme-to-LLVM A compiler to compile a simple subset of scheme to LLVM 10
开发者
Common Lisp & Scheme 核心开发者
.NET
与 .NET 的集成和互操作
- Bike Common Lisp .Net Core Interop
- ClojureCLR
- IronScheme
- CSLisp
- Foil a Foreign Object Interface for Lisp
类型系统
- Coalton typed language Typing Haskell in Haskell (In Coalton)
包管理
- 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
- Writing Libraries
CL-USER> (asdf:load-system :my-system) CL-USER> (ql:quickload :my-system)
插件模块化
DevOps
代码测试、代码质量、代码安全、DevOps ...
- ASDF build system
- FiveAM Common Lisp regression testing framework
- SLITE a SLIme-based TEst runner for FiveAM and Parachute Tests
- Screenshotbot Screenshot Testing Service
桌面IDE
- Lisp Desktop Foundation
- Stump Window Manager (StumpWM) is a window manager written entirely in Common Lisp.
图形GUI
- Sketch A CL framework for the creation of electronic art, graphics, and lots more.
REST API
Web应用
- Lisp Web Foundation
- Nyxt browser
- Woo is a fast non-blocking HTTP server built on top of libev.
- Clack Web Application Environment for Common Lisp
- 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
- Caveman2 Lightweight web application framework
- CLOG The Common Lisp Omnificent GUI
- coleslaw Flexible Lisp Blogware, Comments via Disqus or Isso Sites powered by Coleslaw Improved Means for Achieving Deteriorated Ends
- eww
网络系统
网络、Socket、服务器、系统编程
数据科学
- Data Science Tooling For Racket
- cl-ana Common Lisp data analysis library
- Numcl NumPy clone in Common Lisp
- GNU Scientific Library for Lisp(GSLL)
- RCL A Common Lisp Interface to R
金融交易
人工智能
人工智能, 机器学习, 深度学习, 神经网络, NLP in Lisp
- AI & Machine Learning
- OpenCog A framework for integrated Artificial Intelligence & Artificial General Intelligence (AGI), Written in Scheme.
- CLML Common Lisp Machine Learning
- CL-NLP a Lisp NLP toolkit
- mgl Common Lisp machine learning library.
- Sparser A natural language understanding system for English
- Mind.ai Developing the next generation of symbolic AI systems, Uses LispWorks. How Mind AI is different from other open-source AI projects
数学物理
并发并行
线程、并行、并发、异步以及Actor model、分布式、云计算
- Bordeaux-Threads Portable shared-state concurrency for Common Lisp
- lparallel Parallelism for Common Lisp
- cl-gserver Actor framework featuring actors and agents
- Gerbil Scheme Actor Language
音乐视频
游戏
- Lisp Games Wiki Common Lisp Games
- all-known-github-lisp-games
- Trial Yet another Common Lisp game engine
- Virality Engine A component-based game engine written in Common Lisp
- Clinch Common Lisp 3D/2D Graphics Engine for OpenGL
移动App
实时嵌入式
- uLisp
- Gambit
- ECL (Embeddable Common-Lisp)
- LambdaChip - The future of IoT An optimizing compiler and VM for embedded systems. Scheme R7RS.
安全密码学
- Ironclad A cryptographic toolkit written in Common Lisp
区块链
- legochain Simple educational blockchain in Common Lisp
- emotiq a next-generation blockchain, 实现了自己的 Actor model
FRP流计算
大数据、流计算、Functional Reactive Programming (FRP) 使用可组合的事件和随时间变化的值,将交互式系统描述为纯函数。
- cells an implementation of the data flow programming paradigm
数据库存储
- pgloader
- postmodern
- SxQL a macro-based SQL DSL, An SQL generator for Common Lisp.
- VivaceGraph graph database
- CL-Yesql is a Common Lisp library for using SQL, based on Clojure’s Yesql.
- CLSQL
- Mito An ORM for MySQL, PostgreSQL and SQLite3
- pgcharts PostgreSQL Charts
操作系统
- 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、软硬件规范、形式化语言、定理验证等领域
- ACL2
- cl-6502 A 6502 emulator in Lisp.
- PVS Specification and Verification System NASALib
图集
链接
分享您的观点