欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Python ecosystem
来自开放百科 - 灰狐
Python 生态系统
目录 |
编译器
生产力工具
数据存储
机器学习
数据分析
数学
金融交易
消息事件
企业应用
内容管理
物联网
安全加密
iOS/Android
桌面应用
游戏
音乐
图集
链接
分享您的观点