欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
用户贡献
(最后 | 最早) 查看(前50个 | 后50个)(20 | 50 | 100 | 250 | 500)
- 2023年5月21日 (日) 03:48 (差异 | 历史) . . (0) . . 文件:Zsxq.jpg (Allen上传“文件:Zsxq.jpg”的新版本) (最后更改)
- 2023年5月12日 (五) 05:25 (差异 | 历史) . . (-19) . . 小 灰狐咨询 (→咨询范围) (最后更改)
- 2023年5月12日 (五) 05:24 (差异 | 历史) . . (-302) . . 小 灰狐咨询 (→咨询范围)
- 2023年5月12日 (五) 04:03 (差异 | 历史) . . (0) . . 小 灰狐咨询 (→咨询范围)
- 2023年5月10日 (三) 14:33 (差异 | 历史) . . (+2) . . 小 赞助灰狐 (→感谢) (最后更改)
- 2023年5月10日 (三) 12:59 (差异 | 历史) . . (+2) . . 小 赞助灰狐 (→感谢)
- 2023年5月3日 (三) 09:39 (差异 | 历史) . . (+192) . . 小 量子计算 (→书籍) (最后更改)
- 2023年5月3日 (三) 05:10 (差异 | 历史) . . (+91) . . 小 灰狐咨询 (→简介)
- 2023年5月2日 (二) 05:25 (差异 | 历史) . . (+96) . . 小 量子计算 (→形式语义)
- 2023年5月2日 (二) 05:21 (差异 | 历史) . . (+94) . . 小 量子计算 (→形式语义)
- 2023年5月2日 (二) 05:18 (差异 | 历史) . . (+94) . . 小 量子计算 (→理论)
- 2023年4月30日 (日) 13:11 (差异 | 历史) . . (+97) . . 小 Coq (→STEM) (最后更改)
- 2023年4月30日 (日) 12:19 (差异 | 历史) . . (+85) . . 小 Coq (→STEM)
- 2023年4月28日 (五) 13:14 (差异 | 历史) . . (+114) . . 小 Calibre (→链接) (最后更改)
- 2023年4月28日 (五) 13:13 (差异 | 历史) . . (+102) . . 小 OpenBook (→Awesome) (最后更改)
- 2023年4月24日 (一) 13:57 (差异 | 历史) . . (+6) . . 小 灰狐会员 (→知识星球) (最后更改)
- 2023年4月24日 (一) 13:51 (差异 | 历史) . . (+38) . . 新 文件:Meaning-and-Structure-of-Physics.jpeg (category:book category:physics) (最后更改)
- 2023年4月23日 (日) 04:02 (差异 | 历史) . . (+100) . . 小 Haskell (→现状) (最后更改)
- 2023年4月19日 (三) 07:57 (差异 | 历史) . . (+31) . . 小 Logseq (→链接) (最后更改)
- 2023年4月19日 (三) 07:55 (差异 | 历史) . . (+25) . . 小 Clojure (→IDE和Editor) (最后更改)
- 2023年4月19日 (三) 02:48 (差异 | 历史) . . (+14) . . 小 Computer algebra system (→项目) (最后更改)
- 2023年4月14日 (五) 05:31 (差异 | 历史) . . (+31) . . 小 量子计算 (→链接)
- 2023年4月10日 (一) 23:12 (差异 | 历史) . . (-40) . . 小 Huihoo Network (→链接) (最后更改)
- 2023年4月10日 (一) 14:40 (差异 | 历史) . . (-36) . . 小 Huihoo Cloud (→链接) (最后更改)
- 2023年4月10日 (一) 11:39 (差异 | 历史) . . (+2) . . 小 赞助灰狐 (→感谢)
- 2023年4月10日 (一) 03:35 (差异 | 历史) . . (+38) . . 小 XMPP (→链接) (最后更改)
- 2023年4月10日 (一) 02:41 (差异 | 历史) . . (+66) . . 小 MongooseIM (最后更改)
- 2023年4月10日 (一) 02:39 (差异 | 历史) . . (-6) . . 小 Gougou (→图集) (最后更改)
- 2023年4月10日 (一) 02:37 (差异 | 历史) . . (+128) . . 新 文件:MongooseIM Platform components.png (https://michalwskis-mongooseim.readthedocs.io/en/latest/ category:MOM category:IM category:XMPP category:erlang) (最后更改)
- 2023年4月9日 (日) 09:24 (差异 | 历史) . . (+230) . . 小 Gougou (→狗狗社群)
- 2023年4月9日 (日) 03:42 (差异 | 历史) . . (+108) . . 小 灰狐浏览器 (→Lisp) (最后更改)
- 2023年4月8日 (六) 10:32 (差异 | 历史) . . (0) . . 文件:Zsxq.jpg (Allen上传“文件:Zsxq.jpg”的新版本)
- 2023年4月8日 (六) 10:27 (差异 | 历史) . . (-87) . . 小 灰狐会员
- 2023年4月4日 (二) 02:52 (差异 | 历史) . . (+65) . . 小 Physics (→图书) (最后更改)
- 2023年4月2日 (日) 02:55 (差异 | 历史) . . (+100) . . 小 灰狐公开课 (→编程语言) (最后更改)
- 2023年4月2日 (日) 02:52 (差异 | 历史) . . (+131) . . 小 开放大学 (→课程) (最后更改)
- 2023年4月1日 (六) 09:11 (差异 | 历史) . . (+289) . . 小 开放大学 (→课程)
- 2023年4月1日 (六) 09:06 (差异 | 历史) . . (+47) . . 小 费曼学习法 (→书籍) (最后更改)
- 2023年4月1日 (六) 09:03 (差异 | 历史) . . (+120) . . 小 费曼学习法 (→项目)
- 2023年4月1日 (六) 08:45 (差异 | 历史) . . (+26) . . 小 OpenBook
- 2023年3月29日 (三) 11:14 (差异 | 历史) . . (+102) . . 小 Huihoo Cloud (→FinOps)
- 2023年3月29日 (三) 11:12 (差异 | 历史) . . (+214) . . 小 Huihoo Cloud (→安全)
- 2023年3月27日 (一) 12:36 (差异 | 历史) . . (+12) . . 小 VTK (→链接) (最后更改)
- 2023年3月27日 (一) 12:36 (差异 | 历史) . . (+234) . . 小 VTK (→功能)
- 2023年3月27日 (一) 11:10 (差异 | 历史) . . (+49) . . 小 Arduino (→简介) (最后更改)
- 2023年3月27日 (一) 04:00 (差异 | 历史) . . (-6) . . 小 赞助灰狐
- 2023年3月27日 (一) 03:59 (差异 | 历史) . . (+185) . . 小 赞助灰狐
- 2023年3月26日 (日) 09:10 (差异 | 历史) . . (+107) . . 新 文件:Librepcb-library-structure.png (https://developers.librepcb.org/df/d4f/doc_library.html category:PCB category:CAD category:EDA) (最后更改)
- 2023年3月26日 (日) 08:11 (差异 | 历史) . . (+63) . . 小 Haskell ecosystem (→硬件芯片) (最后更改)
- 2023年3月26日 (日) 06:45 (差异 | 历史) . . (+117) . . 新 文件:Librepcb-attributes-system.png (https://developers.librepcb.org/de/df4/doc_attributes_system.html category:PCB category:CAD category:EDA) (最后更改)
分享您的观点