欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Lisp ecosystem
来自开放百科 - 灰狐
Lisp ecosystem
目录 |
基金会
新闻
会议
项目集
- Awesome Common Lisp
- Awesome Scheme
- Awesome Lisp Machine
- Awesome Common Lisp Learning
- Common Lisp Libraries Find Common Lisp libraries shipped by Quicklisp Quickref
- common-lisp-libraries
- Lisp Project of the Day
用户服务商
- Awesome Lisp Company
- 40 Ants Together we'll make Common Lisp ecosystem better Our projects
- 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
- Carp 融合 Lisp 和 Haskell
- 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
- The Coalton programming language
- Quil quantum programming language
- Varjo is a Lisp to GLSL compiler
- CL-LSP is an implementation of the Language Server Protocol (LSP) for Common Lisp.
- Shen Programming Language for Common Lisp
- JSCL is a Common Lisp to JavaScript compiler
开发者
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)
- CL-ALGEBRAIC-DATA-TYPE Algebraic data types in Common Lisp
库包管理
Library, Package, Repository.
- 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)
- Quickutil The solution to the Utility Library problem.
插件模块化
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
- lisp-unit a Common Lisp library that supports unit testing
桌面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
- cl-rest-server Common Lisp REST Server
- Snooze Common Lisp RESTful web development
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
- CommonDoc A CLOS framework for representing and converting documents.
网络系统
网络、Socket、服务器、系统编程
- Scsh Unix shell embedded within Scheme
- USOCKET Universal socket library for Common Lisp
- cl-async Asynchronous IO library for Common Lisp
数据科学
- 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.
OpenCog Foundation - Building better minds together,OpenCog 是一个独特且雄心勃勃的开源软件项目,愿景是创建一个人工通用智能(Artificial General Intelligence, AGI)的开源框架,旨在有朝一日能够表达人类水平及以上的通用智能。OpenCog 核心软件包使用 Scheme 开发。OpenCog Brainwave
- 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
- Common Lisp PRL Project Proofs as Programs
图集
链接
分享您的观点