欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
最多分类页面
下面显示从第251条结果开始的20条结果。
查看（前20个 | 后20个）（20 | 50 | 100 | 250 | 500）
- E3 mobile（6个分类）
- GNU Guix（6个分类）
- ABP Framework（6个分类）
- Orleans（6个分类）
- OpenRA（6个分类）
- Machine learning on Hadoop（6个分类）
- ENSIME（6个分类）
- 灰狐量子俱乐部（6个分类）
- OpenStudio（6个分类）
- AvalonStudio（6个分类）
- Agda（6个分类）
- Metabase（6个分类）
- Convolutional neural network（6个分类）
- TAO（6个分类）
- Huihoo Desktop Team（6个分类）
- BigchainDB（6个分类）
- Anaconda python（6个分类）
- GNU Health（6个分类）
- Vyatta（6个分类）
- OroCRM（6个分类）
分享您的观点
