欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp

下面是最近的文件上传的列表。图像概览请见新文件库。

• 2023年6月30日 (五) 13:40 Allen (讨论 | 贡献)上传“文件:Openmediavault-install.jpeg” (category:storage category:debian)
• 2023年6月30日 (五) 13:39 Allen (讨论 | 贡献)上传“文件:Openmediavault-releases.jpeg” (https://docs.openmediavault.org/en/stable/releases.html category:storage category:debian)
• 2023年6月26日 (一) 06:21 Allen (讨论 | 贡献)上传“文件:ChessX.png”的新版本
• 2023年6月26日 (一) 06:20 Allen (讨论 | 贡献)上传“文件:ChessX.png”
• 2023年6月25日 (日) 10:52 Allen (讨论 | 贡献)上传“文件:Musescore-canon.png” (category:music)
• 2023年6月25日 (日) 06:43 Allen (讨论 | 贡献)上传“文件:FLTK-logo.png” (https://www.fltk.org/ category:GUI)
• 2023年6月20日 (二) 03:12 Allen (讨论 | 贡献)上传“文件:Guile-and-Guix.jpeg”
• 2023年6月20日 (二) 03:09 Allen (讨论 | 贡献)上传“文件:Guile-and-Guix.png” (图片取自：https://www.gnu.org/savannah-checkouts/gnu/guile/news/join-guile-guix-days-strasbourg-2019.html category:GNU category:scheme category:lisp)
• 2023年5月21日 (日) 03:48 Allen (讨论 | 贡献)上传“文件:Zsxq.jpg”的新版本
• 2023年4月24日 (一) 13:51 Allen (讨论 | 贡献)上传“文件:Meaning-and-Structure-of-Physics.jpeg” (category:book category:physics)
• 2023年4月10日 (一) 02:37 Allen (讨论 | 贡献)上传“文件:MongooseIM Platform components.png” (https://michalwskis-mongooseim.readthedocs.io/en/latest/ category:MOM category:IM category:XMPP category:erlang)
• 2023年4月8日 (六) 10:32 Allen (讨论 | 贡献)上传“文件:Zsxq.jpg”的新版本
• 2023年3月26日 (日) 09:10 Allen (讨论 | 贡献)上传“文件:Librepcb-library-structure.png” (https://developers.librepcb.org/df/d4f/doc_library.html category:PCB category:CAD category:EDA)
• 2023年3月26日 (日) 06:45 Allen (讨论 | 贡献)上传“文件:Librepcb-attributes-system.png” (https://developers.librepcb.org/de/df4/doc_attributes_system.html category:PCB category:CAD category:EDA)
• 2023年3月26日 (日) 05:14 Allen (讨论 | 贡献)上传“文件:Librepcb-architecture-overview.png” (https://developers.librepcb.org/de/d34/doc_architecture_overview.html category:CAD category:EDA category:processor category:maker)
• 2023年3月22日 (三) 05:53 Allen (讨论 | 贡献)上传“文件:VTK-foundation-object.png”
• 2023年3月22日 (三) 05:46 Allen (讨论 | 贡献)上传“文件:VTK-foundation-object.png”的新版本
• 2023年3月22日 (三) 05:34 Allen (讨论 | 贡献)上传“文件:VTK-foundation-object.png” (图片取自《VTK Users Guide》 category:visualization category:VTK)
• 2023年3月13日 (一) 12:03 Allen (讨论 | 贡献)上传“文件:GeoNode-simplified-architecture.png” (https://docs.geonode.org/en/master/start/index.html category:GIS category:map)
• 2023年3月9日 (四) 13:06 Allen (讨论 | 贡献)上传“文件:ROS-ecosystem.png”的新版本
• 2023年3月9日 (四) 13:03 Allen (讨论 | 贡献)上传“文件:ROS-ecosystem.png”的新版本
• 2023年3月9日 (四) 13:02 Allen (讨论 | 贡献)上传“文件:ROS-ecosystem.png” (https://www.ros.org/blog/ecosystem/ category:robot category:ROS)
• 2023年3月8日 (三) 13:52 Allen (讨论 | 贡献)上传“文件:Qgis-logo.png” (category:GIS category:map)
• 2023年3月7日 (二) 02:39 Allen (讨论 | 贡献)上传“文件:Riak-High-level-architecture.png”的新版本
• 2023年3月7日 (二) 02:37 Allen (讨论 | 贡献)上传“文件: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)
• 2023年2月25日 (六) 04:36 Allen (讨论 | 贡献)上传“文件:Electric-and-electronic-technique.jpeg” (category:book)
• 2023年2月23日 (四) 05:20 Allen (讨论 | 贡献)上传“文件:Open-embedded-logo.png” (https://www.openembedded.org/ category:DRE category:linux)
• 2023年2月12日 (日) 03:25 Allen (讨论 | 贡献)上传“文件:Huihoo-books.jpg” (category:book category:huihoo)
• 2023年1月30日 (一) 08:32 Allen (讨论 | 贡献)上传“文件:Quantum-field-theory-and-algebra.jpg” (category:physics category:mathematics)
• 2023年1月15日 (日) 02:23 Allen (讨论 | 贡献)上传“文件:The-Periodic-Table-of-Finite-Simple-Groups.jpg” (category:mathematics)
• 2022年12月31日 (六) 02:38 Allen (讨论 | 贡献)上传“文件:Bible-books.jpeg” (《The New American Bible》 《Constitutional Law Individual Rights》 圣经和宪法法律-个人权利 @xlmsnow)
• 2022年12月31日 (六) 02:29 Allen (讨论 | 贡献)上传“文件:Bible.jpeg” (category:book)
• 2022年12月30日 (五) 05:43 Allen (讨论 | 贡献)上传“文件:2022-09-08-07.jpg” (category:science category:book)
• 2022年12月30日 (五) 05:42 Allen (讨论 | 贡献)上传“文件:2022-09-08-06.jpg” (category:science category:book)
• 2022年12月30日 (五) 05:42 Allen (讨论 | 贡献)上传“文件:2022-09-08-05.jpg” (category:science category:book)
• 2022年12月30日 (五) 05:41 Allen (讨论 | 贡献)上传“文件:2022-09-08-04.jpg” (category:science category:book)
• 2022年12月30日 (五) 05:41 Allen (讨论 | 贡献)上传“文件:2022-09-08-03.jpg” (category:science category:book)
• 2022年12月30日 (五) 05:40 Allen (讨论 | 贡献)上传“文件:2022-09-08-02.jpg” (category:science category:book)
• 2022年12月30日 (五) 05:39 Allen (讨论 | 贡献)上传“文件:2022-09-08-01.jpg” (category:science category:book)
• 2022年12月17日 (六) 06:58 Allen (讨论 | 贡献)上传“文件:Map-of-quantum-physics.jpg” (https://www.newsilike.in/map-of-quantum-physics/ category:physics category:science category:quantum)
• 2022年12月15日 (四) 02:51 Allen (讨论 | 贡献)上传“文件:Witch-Of-Agnesi.png” (from https://www.uh.edu/engines/epi1741.htm category:mathematics)
• 2022年12月14日 (三) 03:45 Allen (讨论 | 贡献)上传“文件:Theory-of-Quantum-Many-body-Systems.png” (category:physics)
• 2022年12月14日 (三) 02:39 Allen (讨论 | 贡献)上传“文件:Quantum-theory.jpg” (category:physics category:science)
• 2022年12月13日 (二) 09:55 Allen (讨论 | 贡献)上传“文件:Advanced-Algebra.jpg” (category:mathematics)
• 2022年12月12日 (一) 08:44 Allen (讨论 | 贡献)上传“文件:Aims-desktop-logo.png” (https://desktop.aims.ac.za/ https://wiki.debian.org/Derivatives/Census category:debian category:mathematics category:science)
• 2022年12月10日 (六) 11:47 Allen (讨论 | 贡献)上传“文件:Oneedge-logo.png” (https://oneedge.io/)
• 2022年12月10日 (六) 11:06 Allen (讨论 | 贡献)上传“文件:Opennebula-kubernetes-comparing.png” (https://opennebula.io/opennebula-kubernetes-comparing-two-container-orchestration-models/ category:container category:kubernetes category:cloud computing)
• 2022年12月10日 (六) 09:08 Allen (讨论 | 贡献)上传“文件:Opennebula-innovation-partner.png” (https://opennebula.io/innovation/ category:cloud computing category:Huihoo Foundation)
• 2022年12月10日 (六) 05:09 Allen (讨论 | 贡献)上传“文件:Hpcc-systems-logo.png”的新版本 (https://github.com/hpcc-systems category:big data)
• 2022年12月9日 (五) 10:33 Allen (讨论 | 贡献)上传“文件: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)