欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Erlang ecosystem
来自开放百科 - 灰狐
(版本间的差异)
小 (→安全加密) |
小 (→数据存储/驱动) |
||
第21行: | 第21行: | ||
*[[Hex]] | *[[Hex]] | ||
− | == | + | ==数据库/驱动== |
*[[Apache CouchDB]] | *[[Apache CouchDB]] | ||
*[[Couchbase]] | *[[Couchbase]] | ||
*[[Riak]] | *[[Riak]] | ||
+ | *[http://docs.huihoo.com/erlang/conference/euc2016/Antidote-a-Scalable-and-Consistent-Transactional-Data-Store.pdf Antidote: 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/Going-Barking-Mad-with-DalmatinerDB.pdf Going Barking Mad with DalmatinerDB] | ||
+ | *[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] | ||
==消息事件== | ==消息事件== |
2017年10月12日 (四) 09:29的版本
Erlang 生态系统
目录 |
Erlang VM
操作系统
- HydrOS GPL v3 license.
语言
- Awesome Elixir
- Elixir
- Lisp Flavoured Erlang (LFE)
- Joxa A Modern Lisp for the Erlang VM
- Alpaca Functional programming
- LFE - a real lisp in the Erlang ecosystem
包管理
数据库/驱动
- Apache CouchDB
- Couchbase
- Riak
- 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
- Building a P2P Multi-Purpose Database Tutorial: Getting Local First with Barrel
消息事件
Web框架
数学
图计算
金融货币
企业应用
车联网
物联网
- MicroErlang
- Erlang + RTEMS = GRiSP
人工智能
安全加密
监控
桌面应用
游戏
音乐
图集
链接
分享您的观点