欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
最多分类页面
下面显示从第231条结果开始的50条结果。
查看（前50个 | 后50个）（20 | 50 | 100 | 250 | 500）
- 灰狐量子俱乐部（6个分类）
- Lichess（6个分类）
- GitLab（6个分类）
- Jenkins（6个分类）
- OpenZFS（6个分类）
- Serenity（6个分类）
- Unity（6个分类）
- Godot（6个分类）
- Apache ServiceMix（6个分类）
- OpenForge（6个分类）
- Huihoo Web Team（6个分类）
- Tesseract（6个分类）
- Greenplum（6个分类）
- E3 data model（6个分类）
- MonoDevelop（6个分类）
- OpenShot（6个分类）
- Debian（6个分类）
- Xamarin（6个分类）
- Agda（6个分类）
- Zabbix（6个分类）
- OpenFrameworks（6个分类）
- Cryptol（6个分类）
- Zotonic（6个分类）
- FDB（6个分类）
- GNU Emacs（6个分类）
- SQuirreL SQL Client（6个分类）
- ABP Framework（6个分类）
- HPCC（6个分类）
- Torque（6个分类）
- MonoGame（6个分类）
- React Native（6个分类）
- LibreSSL（6个分类）
- Shotcut（6个分类）
- Frepple（6个分类）
- Verilog（6个分类）
- Anaconda python（6个分类）
- OBS Studio（6个分类）
- OrientDB（6个分类）
- ENSIME（6个分类）
- Reaction Commerce（6个分类）
- Scratch（6个分类）
- LibGDX（6个分类）
- WebRTC（6个分类）
- OneRing（6个分类）
- Convolutional neural network（6个分类）
- FreeRTOS（6个分类）
- Open Web and Better Bank（6个分类）
- Zenoss（6个分类）
- BigchainDB（6个分类）
- Kettle（6个分类）
分享您的观点
