欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Clojure ecosystem
来自开放百科 - 灰狐
Clojure 生态系统
目录 |
生产力工具
数据存储
机器学习
大数据分析
计算数学
金融交易
消息事件
企业应用
安全加密
- Friend
- Clojure Scrypt Library
- Buddy - Security library for clojure.
iOS/Android
游戏
音乐
图集
链接
分享您的观点
