欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Erlang ecosystem
来自开放百科 - 灰狐
(版本间的差异)
小 (→游戏娱乐) |
小 (→金融货币) |
||
(未显示1个用户的31个中间版本) | |||
第1行: | 第1行: | ||
− | [[Erlang]] 生态系统 | + | [[Erlang]]、[[Elixir programming language|Elixir]] 生态系统 |
+ | [[文件:Erlang-90x90.gif|right]] | ||
+ | [[文件:elixir-logo.png|right]] | ||
[https://github.com/drobakowski/awesome-erlang Awesome Erlang] [[image:awesome.png]] | [https://github.com/drobakowski/awesome-erlang Awesome Erlang] [[image:awesome.png]] | ||
+ | |||
+ | [https://github.com/h4cc/awesome-elixir Awesome Elixir] [[image:awesome.png]] | ||
==Erlang VM== | ==Erlang VM== | ||
第9行: | 第13行: | ||
==操作系统== | ==操作系统== | ||
*[http://hydros-project.org/ HydrOS] GPL v3 license. | *[http://hydros-project.org/ HydrOS] GPL v3 license. | ||
+ | *[http://docs.huihoo.com/erlang/conference/sfbay2016/Erlang-On-NixOS-Managing-And-Releasing-Erlang-Systems-In-The-Cloud-With-A-Fully-Declarative-Package-Manager.pdf Erlang On NixOS Managing And Releasing Erlang Systems In The Cloud With A Fully Declarative Package Manager System] [https://nixos.org/nix/ Nix包管理器] [https://github.com/erlang-nix erlang-nix] | ||
==语言== | ==语言== | ||
− | |||
*[[Elixir programming language|Elixir]] | *[[Elixir programming language|Elixir]] | ||
+ | *[https://github.com/trifork/erjang/ Erjang] A JVM-based Erlang VM | ||
*[https://github.com/rvirding/lfe Lisp Flavoured Erlang (LFE)] | *[https://github.com/rvirding/lfe Lisp Flavoured Erlang (LFE)] | ||
*[https://github.com/joxa/joxa Joxa] A Modern [[Lisp]] for the Erlang VM | *[https://github.com/joxa/joxa Joxa] A Modern [[Lisp]] for the Erlang VM | ||
+ | *[https://github.com/basho/erlang_js erlang_js] | ||
*[https://github.com/alpaca-lang/alpaca Alpaca Functional programming] | *[https://github.com/alpaca-lang/alpaca Alpaca Functional programming] | ||
*[http://docs.huihoo.com/erlang/conference/euc2016/LFE-A-Real-Lisp-in-the-Erlang-Ecosystem.pdf LFE - a real lisp in the Erlang ecosystem] | *[http://docs.huihoo.com/erlang/conference/euc2016/LFE-A-Real-Lisp-in-the-Erlang-Ecosystem.pdf LFE - a real lisp in the Erlang ecosystem] | ||
*[http://elm-lang.org/ elm] [http://docs.huihoo.com/erlang/conference/sfbay2016/Phoenix-and-Elm-Making-the-Web-Functional.pdf Phoenix and Elm – Making the Web Functional] | *[http://elm-lang.org/ elm] [http://docs.huihoo.com/erlang/conference/sfbay2016/Phoenix-and-Elm-Making-the-Web-Functional.pdf Phoenix and Elm – Making the Web Functional] | ||
+ | *[http://docs.huihoo.com/erlang/conference/sfbay2016/Point-Of-No-Local-Return-The-Continuing-Story-Of-Erlang-Type-Systems.pdf Point Of No Local Return: The Continuing Story Of Erlang Type Systems] | ||
*[http://docs.huihoo.com/erlang/conference/euc2015/Erlang-and-Java-a-Happy-Marriage.pdf Erlang and Java - a Happy Marriage] | *[http://docs.huihoo.com/erlang/conference/euc2015/Erlang-and-Java-a-Happy-Marriage.pdf Erlang and Java - a Happy Marriage] | ||
*[http://docs.huihoo.com/erlang/conference/euc2015/Techniques-for-Metaprogramming-in-Erlang.pdf Techniques for Metaprogramming in Erlang] | *[http://docs.huihoo.com/erlang/conference/euc2015/Techniques-for-Metaprogramming-in-Erlang.pdf Techniques for Metaprogramming in Erlang] | ||
+ | *[http://lasp-lang.org/ The Lasp Programming System] [https://github.com/lasp-lang/lasp Prototype implementation of Lasp in Erlang.] | ||
==包管理== | ==包管理== | ||
*[[Hex]] | *[[Hex]] | ||
+ | |||
+ | ==编辑器IDE== | ||
==数据库/驱动== | ==数据库/驱动== | ||
第28行: | 第38行: | ||
*[[Couchbase]] | *[[Couchbase]] | ||
*[[Riak]] | *[[Riak]] | ||
+ | *[[Scalaris]] | ||
+ | *[http://docs.huihoo.com/erlang/conference/sfbay2016/Build-a-P2P-Document-Oriented-Database.pdf Build a P2P Document Oriented Database] | ||
*[https://github.com/SyncFree/antidote Antidote] [http://docs.huihoo.com/erlang/conference/euc2016/Antidote-a-Scalable-and-Consistent-Transactional-Data-Store.pdf A scalable and consistent transactional datastore] [http://docs.huihoo.com/erlang/conference/euc2016/Tutorial-Antidote-a-Scalable-and-Consistent-Transactional-Data-Store.pdf Tutorial: Antidote] [http://docs.huihoo.com/erlang/conference/euc2016/Tutorial-CRDTs-Antidote-a-Scalable-and-Consistent-Transactional-Data-Store.pdf Tutorial: CRDTs] | *[https://github.com/SyncFree/antidote Antidote] [http://docs.huihoo.com/erlang/conference/euc2016/Antidote-a-Scalable-and-Consistent-Transactional-Data-Store.pdf A scalable and consistent transactional datastore] [http://docs.huihoo.com/erlang/conference/euc2016/Tutorial-Antidote-a-Scalable-and-Consistent-Transactional-Data-Store.pdf Tutorial: Antidote] [http://docs.huihoo.com/erlang/conference/euc2016/Tutorial-CRDTs-Antidote-a-Scalable-and-Consistent-Transactional-Data-Store.pdf Tutorial: CRDTs] | ||
*[http://docs.huihoo.com/erlang/conference/euc2016/From-NoSQL-to-MoSQL-Adding-Structure-and-Queriability-to-Riak.pdf From NoSQL to Mo' SQL - Adding Structure and Queriability to Riak] | *[http://docs.huihoo.com/erlang/conference/euc2016/From-NoSQL-to-MoSQL-Adding-Structure-and-Queriability-to-Riak.pdf From NoSQL to Mo' SQL - Adding Structure and Queriability to Riak] | ||
第33行: | 第45行: | ||
*[https://github.com/barrel-db/barrel-platform Barrel] [http://docs.huihoo.com/erlang/conference/euc2016/Building-a-P2P-Multi-Purpose-Database.pdf Building a P2P Multi-Purpose Database] [http://docs.huihoo.com/erlang/conference/euc2016/Tutorial-Getting-Local-First-with-Barrel.pdf Tutorial: Getting Local First with Barrel] | *[https://github.com/barrel-db/barrel-platform Barrel] [http://docs.huihoo.com/erlang/conference/euc2016/Building-a-P2P-Multi-Purpose-Database.pdf Building a P2P Multi-Purpose Database] [http://docs.huihoo.com/erlang/conference/euc2016/Tutorial-Getting-Local-First-with-Barrel.pdf Tutorial: Getting Local First with Barrel] | ||
*[[Mnesia]] [http://docs.huihoo.com/erlang/conference/euc2015/mnesia%2Bleveldb-liberating-mnesia-from-the-limitations-of-DETS.pdf mnesia+leveldb liberating mnesia from the limitations of DETS (and more)] | *[[Mnesia]] [http://docs.huihoo.com/erlang/conference/euc2015/mnesia%2Bleveldb-liberating-mnesia-from-the-limitations-of-DETS.pdf mnesia+leveldb liberating mnesia from the limitations of DETS (and more)] | ||
+ | *[https://github.com/devinus/poolboy Poolboy] - A hunky Erlang worker pool factory | ||
==消息事件== | ==消息事件== | ||
第39行: | 第52行: | ||
==Web框架== | ==Web框架== | ||
+ | *[[Phoenix framework]] | ||
*[[chicago boss]] | *[[chicago boss]] | ||
− | *[[cowboy]] | + | *[https://github.com/kivra/giallo Giallo] on [[cowboy]] |
*[[Zotonic]] | *[[Zotonic]] | ||
*[[MochiWeb]] | *[[MochiWeb]] | ||
第49行: | 第63行: | ||
*[https://github.com/shopgun/graphql-erlang GraphQL implementation in Erlang] | *[https://github.com/shopgun/graphql-erlang GraphQL implementation in Erlang] | ||
− | == | + | ==区块链== |
+ | *[https://aeternity.com/zh Aeternity] | ||
==企业应用== | ==企业应用== | ||
==云计算== | ==云计算== | ||
+ | *[https://github.com/CloudI/CloudI CloudI] A Cloud at the lowest level! | ||
+ | *[https://github.com/erlcloud/erlcloud erlcloud] AWS APIs library for Erlang | ||
*[[Erlang cloud]] | *[[Erlang cloud]] | ||
+ | *[[ActorX]] | ||
+ | *[https://github.com/undeadlabs/discovery Discovery] | ||
+ | |||
+ | ==[[Parallel computing|并行计算]]== | ||
+ | *[http://docs.huihoo.com/erlang/conference/euc2014/bridging-the-divide-a-new-tool-supported-methodology-for-programming-heterogeneous-multicore-machines.pdf Bridging the Divide: A New Tool-Supported Methodology for Programming Heterogeneous Multicore Machines] | ||
+ | *[[OpenCL]] [https://github.com/tonyrog/cl OpenCL binding for Erlang] | ||
+ | *[http://docs.huihoo.com/erlang/conference/euc2014/where-shall-i-parallelize.pdf Where shall I parallelize?] | ||
+ | *[http://docs.huihoo.com/erlang/conference/euc2014/the-parallelism-and-concurrency-landscape-where-does-erlang-fit.pdf The Parallelism and Concurrency Landscape] | ||
==车联网== | ==车联网== | ||
− | *[http://docs.huihoo.com/erlang/conference/euc2016/Emulating-the-Essence-of-Erlang-in-RVI.pdf Emulating the Essence of Erlang in Remote Vehicle Interaction (RVI)] | + | *[[GENIVI|GENIVI Alliance]] [https://github.com/GENIVI/rvi_core RVI core] [http://docs.huihoo.com/erlang/conference/euc2016/Emulating-the-Essence-of-Erlang-in-RVI.pdf Emulating the Essence of Erlang in Remote Vehicle Interaction (RVI)] |
+ | *[http://docs.huihoo.com/erlang/conference/sfbay2016/Erlang-Open-Source-and-the-Connected-Car.pdf Erlang, Open Source and The Connected Car] | ||
==物联网== | ==物联网== | ||
+ | Erlang/OTP = [[Software-defined networking|SDN]] + [[big data|Big Data]] + [[Internet of Things|IoT]] | ||
+ | |||
+ | IoT for Better Homes, Better Buildings, Better Communities, Better Cities. | ||
*[[MicroErlang]] | *[[MicroErlang]] | ||
− | *[https://github.com/joaohf/meta-erlang OpenEmbedded/Yocto Project layer for Erlang support | + | *[https://github.com/joaohf/meta-erlang meta-erlang] OpenEmbedded/[[Yocto Project]] layer for Erlang support |
*Erlang + [https://www.rtems.org/ RTEMS] = [https://www.grisp.org/ GRiSP] | *Erlang + [https://www.rtems.org/ RTEMS] = [https://www.grisp.org/ GRiSP] | ||
+ | *[http://docs.huihoo.com/erlang/conference/sfbay2016/The-Internet-of-Things-as-a-Central-Nervous-System-for-Homes-Communities-and-Cities.pdf The Internet of Things As a Central Nervous System for Homes, Communities, & Cities.] | ||
+ | *[http://docs.huihoo.com/erlang/conference/sfbay2016/Fault-Tolerant-Sensor-Nodes-With-Erlang-OTP-And-Arduino.pdf Fault-Tolerant Sensor Nodes With Erlang/OTP And Arduino] | ||
*[http://docs.huihoo.com/erlang/conference/euc2016/Property-Based-Testing-of-Sensor-Networks.pdf Property-Based Testing of Sensor Networks] | *[http://docs.huihoo.com/erlang/conference/euc2016/Property-Based-Testing-of-Sensor-Networks.pdf Property-Based Testing of Sensor Networks] | ||
*[http://docs.huihoo.com/erlang/conference/euc2016/Building-a-Graphical-IDE-in-Elm-for-a-Distributed-PLC-Language-Compiling-to-BEAM.pdf Building a Graphical IDE in Elm for a Distributed PLC Language Compiling to BEAM] | *[http://docs.huihoo.com/erlang/conference/euc2016/Building-a-Graphical-IDE-in-Elm-for-a-Distributed-PLC-Language-Compiling-to-BEAM.pdf Building a Graphical IDE in Elm for a Distributed PLC Language Compiling to BEAM] | ||
第80行: | 第111行: | ||
==安全加密== | ==安全加密== | ||
− | ==监控== | + | ==监控/仪表盘== |
*[https://github.com/mazenharake/entop entop] | *[https://github.com/mazenharake/entop entop] | ||
+ | *[https://github.com/kittoframework/kitto Kitto] | ||
==桌面应用== | ==桌面应用== | ||
第89行: | 第121行: | ||
*[http://docs.huihoo.com/erlang/conference/euc2017/Maestro-Orchestrating-Large-Scale-Multiplayer-Games.pdf MAESTRO – Orchestrating Large Scale Multiplayer Games] | *[http://docs.huihoo.com/erlang/conference/euc2017/Maestro-Orchestrating-Large-Scale-Multiplayer-Games.pdf MAESTRO – Orchestrating Large Scale Multiplayer Games] | ||
*[http://docs.huihoo.com/erlang/conference/euc2015/Under-the-Hood-Engineering-at-William-Hill.pdf Under the Hood Engineering at William Hill] | *[http://docs.huihoo.com/erlang/conference/euc2015/Under-the-Hood-Engineering-at-William-Hill.pdf Under the Hood Engineering at William Hill] | ||
+ | *[http://docs.huihoo.com/erlang/conference/euc2014/real-time-performance-at-massive-scale.pdf Real-Time Performance at Massive Scale] | ||
==音乐== | ==音乐== | ||
第96行: | 第129行: | ||
image:erlang-ecosystem.png|Erlang语言生态 | image:erlang-ecosystem.png|Erlang语言生态 | ||
image:GRiSP.png|GRiSP | image:GRiSP.png|GRiSP | ||
+ | image:Remote-Vehicle-Interaction-RVI.png|RVI | ||
</gallery> | </gallery> | ||
第102行: | 第136行: | ||
[[category:ecosystem]] | [[category:ecosystem]] | ||
[[category:erlang]] | [[category:erlang]] | ||
+ | [[category:elixir]] | ||
[[category:huihoo]] | [[category:huihoo]] |
2018年7月6日 (五) 12:23的版本
目录 |
Erlang VM
操作系统
- HydrOS GPL v3 license.
- Erlang On NixOS Managing And Releasing Erlang Systems In The Cloud With A Fully Declarative Package Manager System Nix包管理器 erlang-nix
语言
- Elixir
- Erjang A JVM-based Erlang VM
- Lisp Flavoured Erlang (LFE)
- Joxa A Modern Lisp for the Erlang VM
- erlang_js
- Alpaca Functional programming
- LFE - a real lisp in the Erlang ecosystem
- elm Phoenix and Elm – Making the Web Functional
- Point Of No Local Return: The Continuing Story Of Erlang Type Systems
- Erlang and Java - a Happy Marriage
- Techniques for Metaprogramming in Erlang
- The Lasp Programming System Prototype implementation of Lasp in Erlang.
包管理
编辑器IDE
数据库/驱动
- Apache CouchDB
- Couchbase
- Riak
- Scalaris
- Build a P2P Document Oriented Database
- Antidote A scalable and consistent transactional datastore Tutorial: Antidote Tutorial: CRDTs
- From NoSQL to Mo' SQL - Adding Structure and Queriability to Riak
- Going Barking Mad with DalmatinerDB
- Barrel Building a P2P Multi-Purpose Database Tutorial: Getting Local First with Barrel
- Mnesia mnesia+leveldb liberating mnesia from the limitations of DETS (and more)
- Poolboy - A hunky Erlang worker pool factory
消息事件
Web框架
数学
图计算
区块链
企业应用
云计算
- CloudI A Cloud at the lowest level!
- erlcloud AWS APIs library for Erlang
- Erlang cloud
- ActorX
- Discovery
并行计算
- Bridging the Divide: A New Tool-Supported Methodology for Programming Heterogeneous Multicore Machines
- OpenCL OpenCL binding for Erlang
- Where shall I parallelize?
- The Parallelism and Concurrency Landscape
车联网
- GENIVI Alliance RVI core Emulating the Essence of Erlang in Remote Vehicle Interaction (RVI)
- Erlang, Open Source and The Connected Car
物联网
Erlang/OTP = SDN + Big Data + IoT
IoT for Better Homes, Better Buildings, Better Communities, Better Cities.
- MicroErlang
- meta-erlang OpenEmbedded/Yocto Project layer for Erlang support
- Erlang + RTEMS = GRiSP
- The Internet of Things As a Central Nervous System for Homes, Communities, & Cities.
- Fault-Tolerant Sensor Nodes With Erlang/OTP And Arduino
- Property-Based Testing of Sensor Networks
- Building a Graphical IDE in Elm for a Distributed PLC Language Compiling to BEAM
- Deploying an Embedded Erlang System A case example 使用Yocto构建。
- The C1K Problem - Connecting Thousands of Erlang Devices
- embedded erlang development
- EviNS: A Framework for Development of Underwater Acoustic Sensor Networks and Positioning Systems
- Building Lego Robots with Elixir
- LING on Raspberry Pi Erlang for embedded platforms
人工智能
计算广告
安全加密
监控/仪表盘
桌面应用
游戏娱乐
- MAESTRO – Orchestrating Large Scale Multiplayer Games
- Under the Hood Engineering at William Hill
- Real-Time Performance at Massive Scale
音乐
图集
链接
分享您的观点