欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
用户贡献
(最后 | 最早) 查看(前20个 | 后20个)(20 | 50 | 100 | 250 | 500)
- 2023年6月26日 (一) 02:06 (差异 | 历史) . . (+2) . . 小 GNU Guix (→简介)
- 2023年6月26日 (一) 02:04 (差异 | 历史) . . (+58) . . 小 灰狐量子实验室 (→操作系统)
- 2023年6月26日 (一) 02:03 (差异 | 历史) . . (+16) . . 小 灰狐量子实验室 (→操作系统)
- 2023年6月26日 (一) 02:03 (差异 | 历史) . . (+43) . . 小 灰狐量子实验室 (→操作系统)
- 2023年6月25日 (日) 10:52 (差异 | 历史) . . (+18) . . 新 文件:Musescore-canon.png (category:music) (最后更改)
- 2023年6月25日 (日) 06:43 (差异 | 历史) . . (+39) . . 新 文件:FLTK-logo.png (https://www.fltk.org/ category:GUI) (最后更改)
- 2023年6月25日 (日) 06:43 (差异 | 历史) . . (+254) . . 新 GUI (以“{{SeeWikipedia|Graphical user interface}} 图形用户界面(Graphical User Interface,GUI)是指采用图形方式显示的计算机操作用户界面。 ==...”为内容创建页面) (最后更改)
- 2023年6月25日 (日) 06:40 (差异 | 历史) . . (+7) . . 新 分类:GUI (以“GUI”为内容创建页面) (最后更改)
- 2023年6月25日 (日) 06:39 (差异 | 历史) . . (+54) . . 小 FLTK (→链接) (最后更改)
- 2023年6月25日 (日) 06:38 (差异 | 历史) . . (+260) . . 小 FLTK
- 2023年6月24日 (六) 06:48 (差异 | 历史) . . (-1) . . 小 Qt (→简介)
- 2023年6月24日 (六) 06:47 (差异 | 历史) . . (+129) . . 小 Qt (→简介)
- 2023年6月24日 (六) 06:31 (差异 | 历史) . . (+83) . . 小 Qt (→简介)
- 2023年6月24日 (六) 02:49 (差异 | 历史) . . (+158) . . 小 OpenStudio (→开放电影工作室)
- 2023年6月24日 (六) 02:24 (差异 | 历史) . . (+101) . . 小 OpenStudio (→开放电影工作室)
- 2023年6月24日 (六) 02:06 (差异 | 历史) . . (+169) . . 小 OpenStudio (→云计算云存储)
- 2023年6月24日 (六) 01:29 (差异 | 历史) . . (+286) . . 小 Mathematics (→简介)
- 2023年6月22日 (四) 14:50 (差异 | 历史) . . (+44) . . 小 Fortran (→项目) (最后更改)
- 2023年6月21日 (三) 01:45 (差异 | 历史) . . (+25) . . 小 Hunchentoot (→项目) (最后更改)
- 2023年6月21日 (三) 01:44 (差异 | 历史) . . (+121) . . 小 Hunchentoot (→链接)
分享您的观点