欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
用户贡献
(最后 | 最早) 查看(前50个 | 后50个)(20 | 50 | 100 | 250 | 500)
- 2022年12月12日 (一) 12:57 (差异 | 历史) . . (+80) . . 小 Computer algebra system (→文档)
- 2022年12月12日 (一) 08:44 (差异 | 历史) . . (+137) . . 新 文件:Aims-desktop-logo.png (https://desktop.aims.ac.za/ https://wiki.debian.org/Derivatives/Census category:debian category:mathematics category:science) (最后更改)
- 2022年12月12日 (一) 08:42 (差异 | 历史) . . (+141) . . 小 Debian (→Debian发行版) (最后更改)
- 2022年12月10日 (六) 16:25 (差异 | 历史) . . (+4) . . 小 赞助灰狐 (→感谢)
- 2022年12月10日 (六) 16:24 (差异 | 历史) . . (0) . . 小 赞助灰狐 (→感谢)
- 2022年12月10日 (六) 11:47 (差异 | 历史) . . (+19) . . 新 文件:Oneedge-logo.png (https://oneedge.io/) (最后更改)
- 2022年12月10日 (六) 11:47 (差异 | 历史) . . (+127) . . 小 OpenNebula (→简介) (最后更改)
- 2022年12月10日 (六) 11:11 (差异 | 历史) . . (+164) . . 小 OpenNebula (→比较)
- 2022年12月10日 (六) 11:06 (差异 | 历史) . . (+166) . . 新 文件:Opennebula-kubernetes-comparing.png (https://opennebula.io/opennebula-kubernetes-comparing-two-container-orchestration-models/ category:container category:kubernetes category:cloud computing) (最后更改)
- 2022年12月10日 (六) 11:05 (差异 | 历史) . . (+62) . . 小 OpenNebula (→图集)
- 2022年12月10日 (六) 09:08 (差异 | 历史) . . (+94) . . 新 文件:Opennebula-innovation-partner.png (https://opennebula.io/innovation/ category:cloud computing category:Huihoo Foundation) (最后更改)
- 2022年12月10日 (六) 09:06 (差异 | 历史) . . (+60) . . 小 OpenNebula (→图集)
- 2022年12月10日 (六) 08:06 (差异 | 历史) . . (+114) . . 小 Haskell ecosystem (→包管理)
- 2022年12月10日 (六) 05:13 (差异 | 历史) . . (+55) . . 小 灰狐量子实验室 (→大数据)
- 2022年12月10日 (六) 05:09 (差异 | 历史) . . (0) . . 文件:Hpcc-systems-logo.png (Allen上传“文件:Hpcc-systems-logo.png”的新版本:https://github.com/hpcc-systems category:big data) (最后更改)
- 2022年12月10日 (六) 05:01 (差异 | 历史) . . (+269) . . 小 灰狐量子实验室 (→私有云)
- 2022年12月10日 (六) 04:58 (差异 | 历史) . . (+85) . . 小 灰狐量子实验室 (→新闻)
- 2022年12月10日 (六) 04:57 (差异 | 历史) . . (+37) . . 小 灰狐量子实验室 (→新闻)
- 2022年12月10日 (六) 04:56 (差异 | 历史) . . (-114) . . 小 赞助灰狐
- 2022年12月10日 (六) 04:52 (差异 | 历史) . . (+80) . . 小 灰狐量子实验室 (→愿景)
- 2022年12月10日 (六) 04:18 (差异 | 历史) . . (+105) . . 小 赞助灰狐
- 2022年12月9日 (五) 10:33 (差异 | 历史) . . (+130) . . 新 文件:Glasgow-haskell-compiler-and-llvm-pipeline.png (https://blog.llvm.org/2010/05/glasgow-haskell-compiler-and-llvm.html category:haskell category:compiler category:LLVM) (最后更改)
- 2022年12月9日 (五) 10:32 (差异 | 历史) . . (+168) . . 小 Haskell ecosystem (→GHC)
- 2022年12月9日 (五) 10:29 (差异 | 历史) . . (-109) . . 小 Haskell ecosystem (→语言编译器)
- 2022年12月9日 (五) 10:28 (差异 | 历史) . . (+109) . . 小 Haskell ecosystem (→语言编译器)
- 2022年12月9日 (五) 03:18 (差异 | 历史) . . (+24) . . 小 PureScript (最后更改)
- 2022年12月8日 (四) 15:30 (差异 | 历史) . . (+57) . . 小 Mathematics (→数学家)
- 2022年12月7日 (三) 09:06 (差异 | 历史) . . (+56) . . 小 数理逻辑 (→书籍) (最后更改)
- 2022年12月7日 (三) 09:03 (差异 | 历史) . . (+100) . . 小 数理逻辑 (→书籍)
- 2022年12月6日 (二) 06:13 (差异 | 历史) . . (-3) . . 小 Huihoo (→Huihoo历程)
- 2022年12月6日 (二) 04:10 (差异 | 历史) . . (+75) . . 小 灰狐量子实验室 (→服务)
- 2022年12月6日 (二) 03:58 (差异 | 历史) . . (0) . . 小 灰狐量子实验室 (→服务)
- 2022年12月6日 (二) 03:57 (差异 | 历史) . . (+171) . . 小 灰狐量子实验室 (→服务)
- 2022年12月4日 (日) 10:33 (差异 | 历史) . . (+83) . . 新 文件:Droidian-logo.png (https://droidian.org/ category:debian category:andorid category:mobile) (最后更改)
- 2022年12月4日 (日) 10:32 (差异 | 历史) . . (+121) . . 小 Mobile (→项目) (最后更改)
- 2022年12月4日 (日) 09:49 (差异 | 历史) . . (+277) . . 小 数学哲学 (→书籍)
- 2022年12月4日 (日) 09:48 (差异 | 历史) . . (+120) . . 小 数学哲学 (→链接)
- 2022年12月4日 (日) 05:51 (差异 | 历史) . . (-1) . . 小 数学哲学 (→书籍)
- 2022年12月4日 (日) 05:51 (差异 | 历史) . . (+75) . . 小 数学哲学 (→书籍)
- 2022年12月4日 (日) 04:04 (差异 | 历史) . . (+122) . . 小 数学哲学 (→书籍)
- 2022年12月4日 (日) 03:47 (差异 | 历史) . . (+68) . . 小 数学哲学 (→书籍)
- 2022年12月4日 (日) 03:44 (差异 | 历史) . . (+85) . . 小 数学哲学 (→简介)
- 2022年12月4日 (日) 03:12 (差异 | 历史) . . (+48) . . 小 Formal mathematics (→理论) (最后更改)
- 2022年12月3日 (六) 12:42 (差异 | 历史) . . (+96) . . 小 数学哲学 (→书籍)
- 2022年12月3日 (六) 12:39 (差异 | 历史) . . (+47) . . 小 数学哲学 (→书籍)
- 2022年12月3日 (六) 08:57 (差异 | 历史) . . (+3) . . 小 赞助灰狐 (→感谢)
- 2022年12月3日 (六) 05:18 (差异 | 历史) . . (+31) . . 小 Lisp ecosystem (→链接)
- 2022年12月3日 (六) 05:18 (差异 | 历史) . . (+11) . . 小 Erlang ecosystem (→链接) (最后更改)
- 2022年12月3日 (六) 05:17 (差异 | 历史) . . (+31) . . 小 Haskell ecosystem (→链接)
- 2022年12月3日 (六) 05:00 (差异 | 历史) . . (+131) . . 小 Huihoo Cloud (→简介)
分享您的观点