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

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

• 2023年7月30日 (日) 15:59 Allen (讨论 | 贡献)上传“文件:AvaloniaILSpy.png” (category:.NET category:GUI)
• 2023年7月30日 (日) 15:56 Allen (讨论 | 贡献)上传“文件:AvaloniaILSpy.jpeg” (category:.NET category:GUI)
• 2023年7月28日 (五) 08:50 Allen (讨论 | 贡献)上传“文件:AI4Finance-Foundation-logo.jpeg” (https://github.com/AI4Finance-Foundation category:finance category:artificial intelligence category:machine learning)
• 2023年7月25日 (二) 02:23 Allen (讨论 | 贡献)上传“文件:Orchard-dotnet-run-f-net7.0.jpeg” (category:CMS category:ASP.NET category:.NET)
• 2023年7月24日 (一) 11:32 Allen (讨论 | 贡献)上传“文件:ReactiveProperty-MVVM.png” (https://github.com/runceel/ReactiveProperty category:.NET)
• 2023年7月24日 (一) 00:46 Allen (讨论 | 贡献)上传“文件:SciSharp-STACK-logo.png” (https://github.com/SciSharp category:NET category:science)
• 2023年7月23日 (日) 01:47 Allen (讨论 | 贡献)上传“文件:OmniSharp-logo.png” (https://github.com/OmniSharp category:editor category:.NET)
• 2023年7月22日 (六) 00:54 Allen (讨论 | 贡献)上传“文件:AvaloniaUI-High-level-architecture-overview.png” (https://github.com/AvaloniaUI/Avalonia/wiki/High-level-architecture-overview category:.NET)
• 2023年7月21日 (五) 00:35 Allen (讨论 | 贡献)上传“文件:RStudio.png” (category:r category:python category:data science)
• 2023年7月19日 (三) 06:17 Allen (讨论 | 贡献)上传“文件:R-Python-Type-conversions.jpeg” (https://github.com/rstudio/reticulate category:r category:python)
• 2023年7月18日 (二) 13:35 Allen (讨论 | 贡献)上传“文件:R-Interface-to-Python.jpeg” (https://github.com/rstudio/reticulate category:data science category:r category:python)
• 2023年7月18日 (二) 13:11 Allen (讨论 | 贡献)上传“文件:R-logo.png” (category:r category:data science)
• 2023年7月18日 (二) 13:05 Allen (讨论 | 贡献)上传“文件:RStudio-120x120.png” (https://github.com/rstudio category:R category:data science)
• 2023年7月16日 (日) 02:46 Allen (讨论 | 贡献)上传“文件:Scilab-6.1.jpeg”的新版本
• 2023年7月16日 (日) 02:09 Allen (讨论 | 贡献)上传“文件:Scilab-6.1.jpeg” (category:scilab)
• 2023年7月14日 (五) 08:10 Allen (讨论 | 贡献)上传“文件:The-OpenModelica-Tool-Architecture.png” (图片取自：https://openmodelica.org/images/M_images/200204-ModelicaTutorial-slides-PeterFritzson-AdrianPop-MODPROD2020.pdf category:simulation category:model)
• 2023年7月3日 (一) 13:52 Allen (讨论 | 贡献)上传“文件:JASP-classical-and-bayesian-statistics.png” (category:statistics)
• 2023年7月3日 (一) 04:53 Allen (讨论 | 贡献)上传“文件:JASP-linear-regression.png” (category:data science)
• 2023年7月2日 (日) 05:54 Allen (讨论 | 贡献)上传“文件:GNU-Guix-200x200.png” (https://guix.gnu.org/zh-CN/graphics/ category:GNU category:operating system)
• 2023年7月1日 (六) 09:17 Allen (讨论 | 贡献)上传“文件:Openmediavault-rsync-with-remote-mount.jpeg” (https://wiki.omv-extras.org/doku.php?id=omv6:utilities_maint_backup category:storage)
• 2023年7月1日 (六) 09:10 Allen (讨论 | 贡献)上传“文件:Openmediavault-rsync.jpeg” (https://wiki.omv-extras.org/doku.php?id=omv6:utilities_maint_backup category:storage)
• 2023年7月1日 (六) 06:16 Allen (讨论 | 贡献)上传“文件:Openmediavault-web-console.png”的新版本
• 2023年7月1日 (六) 06:11 Allen (讨论 | 贡献)上传“文件:Openmediavault-web-console.png” (category:storage category:debian)
• 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)