欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
用户贡献
(最后 | 最早) 查看(前50个 | 后50个)(20 | 50 | 100 | 250 | 500)
- 2023年3月26日 (日) 05:20 (差异 | 历史) . . (+17) . . 小 文件:Librepcb-architecture-overview.png (最后更改)
- 2023年3月26日 (日) 05:19 (差异 | 历史) . . (+32) . . 新 分类:PCB (以“Electronic design automation”为内容创建页面) (最后更改)
- 2023年3月26日 (日) 05:19 (差异 | 历史) . . (+17) . . 小 Electronic design automation (→链接) (最后更改)
- 2023年3月26日 (日) 05:14 (差异 | 历史) . . (+146) . . 新 文件:Librepcb-architecture-overview.png (https://developers.librepcb.org/de/d34/doc_architecture_overview.html category:CAD category:EDA category:processor category:maker)
- 2023年3月26日 (日) 03:33 (差异 | 历史) . . (+58) . . 小 灰狐基金会 (→编程语言) (最后更改)
- 2023年3月26日 (日) 03:32 (差异 | 历史) . . (+31) . . 小 Hardware description language (→链接) (最后更改)
- 2023年3月25日 (六) 08:18 (差异 | 历史) . . (-7) . . 小 Boost (→文档) (最后更改)
- 2023年3月25日 (六) 07:42 (差异 | 历史) . . (+31) . . 小 Boost (→链接)
- 2023年3月25日 (六) 07:37 (差异 | 历史) . . (+9) . . 新 分类:Boost (以“Boost”为内容创建页面) (最后更改)
- 2023年3月25日 (六) 07:37 (差异 | 历史) . . (+36) . . 小 FreeCAD (→链接) (最后更改)
- 2023年3月25日 (六) 07:37 (差异 | 历史) . . (+76) . . 小 FreeCAD (→功能)
- 2023年3月24日 (五) 04:03 (差异 | 历史) . . (+30) . . 小 OpenBook (→读书会)
- 2023年3月24日 (五) 04:01 (差异 | 历史) . . (+65) . . 小 Tesseract (→项目) (最后更改)
- 2023年3月24日 (五) 04:00 (差异 | 历史) . . (-34) . . 小 Tesseract (→链接)
- 2023年3月24日 (五) 01:44 (差异 | 历史) . . (+29) . . 小 灰狐大脑 (→简介) (最后更改)
- 2023年3月23日 (四) 11:43 (差异 | 历史) . . (+100) . . 小 OpenStudio (→链接)
- 2023年3月23日 (四) 11:39 (差异 | 历史) . . (+30) . . 小 OpenStudio (→基金会)
- 2023年3月23日 (四) 03:49 (差异 | 历史) . . (+265) . . 小 VTK (→项目)
- 2023年3月22日 (三) 06:03 (差异 | 历史) . . (+71) . . 小 文件:VTK-foundation-object.png (最后更改)
- 2023年3月22日 (三) 05:53 (差异 | 历史) . . (0) . . 新 文件:VTK-foundation-object.png
- 2023年3月22日 (三) 05:34 (差异 | 历史) . . (+7) . . 新 分类:VTK (以“VTK”为内容创建页面) (最后更改)
- 2023年3月22日 (三) 05:33 (差异 | 历史) . . (+42) . . 小 VTK (→图集)
- 2023年3月22日 (三) 05:27 (差异 | 历史) . . (+35) . . 小 Tcl/Tk (→Tcl的历史) (最后更改)
- 2023年3月21日 (二) 09:26 (差异 | 历史) . . (+94) . . 小 PostgreSQL (→项目) (最后更改)
- 2023年3月21日 (二) 04:06 (差异 | 历史) . . (+94) . . 小 .NET (→6.0)
- 2023年3月21日 (二) 04:06 (差异 | 历史) . . (+91) . . 小 .NET (→7.0)
- 2023年3月21日 (二) 04:05 (差异 | 历史) . . (+91) . . 小 .NET (→8.0)
- 2023年3月21日 (二) 04:03 (差异 | 历史) . . (+229) . . 小 .NET (→6.0)
- 2023年3月13日 (一) 12:30 (差异 | 历史) . . (+108) . . 小 灰狐基金会 (→数字化)
- 2023年3月13日 (一) 12:09 (差异 | 历史) . . (+2) . . 小 赞助灰狐 (→感谢)
- 2023年3月13日 (一) 12:03 (差异 | 历史) . . (+86) . . 新 文件:GeoNode-simplified-architecture.png (https://docs.geonode.org/en/master/start/index.html category:GIS category:map) (最后更改)
- 2023年3月13日 (一) 12:02 (差异 | 历史) . . (+56) . . 小 Geographic information system (→图集) (最后更改)
- 2023年3月11日 (六) 07:50 (差异 | 历史) . . (+196) . . 小 灰狐基金会 (→自然语言)
- 2023年3月10日 (五) 02:01 (差异 | 历史) . . (+16) . . 小 数学哲学 (→数学方法) (最后更改)
- 2023年3月10日 (五) 01:55 (差异 | 历史) . . (+15) . . 小 数学哲学 (→简介)
- 2023年3月10日 (五) 01:54 (差异 | 历史) . . (+403) . . 小 数学哲学 (→数学家)
- 2023年3月9日 (四) 13:43 (差异 | 历史) . . (+103) . . 小 ROS (→简介) (最后更改)
- 2023年3月9日 (四) 13:06 (差异 | 历史) . . (0) . . 文件:ROS-ecosystem.png (Allen上传“文件:ROS-ecosystem.png”的新版本) (最后更改)
- 2023年3月9日 (四) 13:03 (差异 | 历史) . . (0) . . 文件:ROS-ecosystem.png (Allen上传“文件:ROS-ecosystem.png”的新版本)
- 2023年3月9日 (四) 13:02 (差异 | 历史) . . (+72) . . 新 文件:ROS-ecosystem.png (https://www.ros.org/blog/ecosystem/ category:robot category:ROS)
- 2023年3月9日 (四) 13:01 (差异 | 历史) . . (+30) . . 小 ROS (→简介)
- 2023年3月9日 (四) 09:41 (差异 | 历史) . . (+86) . . 小 赞助灰狐 (→感谢)
- 2023年3月8日 (三) 13:52 (差异 | 历史) . . (+33) . . 新 文件:Qgis-logo.png (category:GIS category:map) (最后更改)
- 2023年3月8日 (三) 13:51 (差异 | 历史) . . (+156) . . 小 QGIS (最后更改)
- 2023年3月7日 (二) 02:46 (差异 | 历史) . . (+31) . . 小 Ejabberd (→链接) (最后更改)
- 2023年3月7日 (二) 02:45 (差异 | 历史) . . (+306) . . 小 Ejabberd (→用户)
- 2023年3月7日 (二) 02:45 (差异 | 历史) . . (+306) . . 小 Riak (→用户) (最后更改)
- 2023年3月7日 (二) 02:40 (差异 | 历史) . . (+44) . . 小 LevelDB (→图集) (最后更改)
- 2023年3月7日 (二) 02:39 (差异 | 历史) . . (0) . . 文件:Riak-High-level-architecture.png (Allen上传“文件:Riak-High-level-architecture.png”的新版本) (最后更改)
- 2023年3月7日 (二) 02:37 (差异 | 历史) . . (+190) . . 新 文件:Riak-High-level-architecture.png (图片取自:https://docs.huihoo.com/erlang/conference/euc2016/From-NoSQL-to-MoSQL-Adding-Structure-and-Queriability-to-Riak.pdf category:riak category:NoSQL category:database)
分享您的观点