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

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

• 2020年9月3日 (四) 07:37 Allen (讨论 | 贡献)上传“文件:AdoptOpenJDK-Build-Script-Relationships.png” (图片来自：https://github.com/AdoptOpenJDK/openjdk-build category:OpenJDK)
• 2020年9月3日 (四) 06:52 Allen (讨论 | 贡献)上传“文件:WSO2-API-Manager-Developer-Portal.png” (category:API category:WSO2)
• 2020年9月3日 (四) 06:08 Allen (讨论 | 贡献)上传“文件:WSO2-API-Manager-publisher.png” (category:API category:WSO2)
• 2020年9月3日 (四) 05:51 Allen (讨论 | 贡献)上传“文件:Wso2-api-publisher.png”的新版本
• 2020年9月3日 (四) 02:19 Allen (讨论 | 贡献)上传“文件:Workbench-window-selection-service-instance.png” (图片来自：https://www.eclipse.org/articles/Article-WorkbenchSelections/article.html category:eclipse)
• 2020年9月3日 (四) 01:48 Allen (讨论 | 贡献)上传“文件:Eclipse-jdt-architecture.png” (图片来自：https://www.eclipse.org/articles/Whitepaper-Platform-3.1/eclipse-platform-whitepaper.html category:eclipse)
• 2020年9月2日 (三) 15:53 Allen (讨论 | 贡献)上传“文件:Eclipse-platform-architecture.png” (图片来自：https://www.eclipse.org/articles/Whitepaper-Platform-3.1/eclipse-platform-whitepaper.html category:eclipse)
• 2020年9月2日 (三) 14:25 Allen (讨论 | 贡献)上传“文件:The-role-of-api-microgatway-in-microservices.png” (图片来自：https://wso2.com/api-management/api-microgateway/ category:API category:microservices category:WSO2)
• 2020年9月2日 (三) 14:15 Allen (讨论 | 贡献)上传“文件:Api-microgateway-devops-cycle.png” (图片来自：https://wso2.com/api-management/api-microgateway/ category:API category:DevOps category:WSO2)
• 2020年9月2日 (三) 13:25 Allen (讨论 | 贡献)上传“文件:Eclipse-emf-gmf.png”的新版本 (图片来自：https://www.eclipse.org/articles/Article-FromFrontendToCode-MDSDInPractice/article.html category:eclipse)
• 2020年9月2日 (三) 13:23 Allen (讨论 | 贡献)上传“文件:Eclipse-emf-gmf.png”的新版本 (图片来自：https://www.eclipse.org/articles/Article-FromFrontendToCode-MDSDInPractice/article.html category:eclipse)
• 2020年9月2日 (三) 13:02 Allen (讨论 | 贡献)上传“文件:Eclipse-emf-gmf.png” (图片来自：https://www.eclipse.org/articles/Article-FromFrontendToCode-MDSDInPractice/article.html category:eclipse)
• 2020年9月2日 (三) 10:34 Allen (讨论 | 贡献)上传“文件:A-wso2-reference-architecture-for-a-complete-ciam-solution.png” (图片来自：https://wso2.com/whitepapers/customer-identity-and-access-management-a-wso2-reference-architecture/ category:identity category:WSO2)
• 2020年9月2日 (三) 10:33 Allen (讨论 | 贡献)上传“文件:Key-features-of-ciam.png” (图片来自：https://wso2.com/whitepapers/customer-identity-and-access-management-a-wso2-reference-architecture/ category:identity category:WSO2)
• 2020年9月2日 (三) 10:29 Allen (讨论 | 贡献)上传“文件:Centralized-ciam-capabilities-with-wso2-identity-server-and-wso2-stream-processor.png” (图片来自：https://wso2.com/whitepapers/customer-identity-and-access-management-a-wso2-reference-architecture/ category:identity category:WSO2)
• 2020年9月2日 (三) 07:56 Allen (讨论 | 贡献)上传“文件:WSO2-identity-server-access-delegation-oauth-diagram.png” (图片来自：https://is.docs.wso2.com/en/latest/learn/configuring-access-delegation-with-oauth2/ category:identity category:WSO2)
• 2020年9月2日 (三) 02:29 Allen (讨论 | 贡献)上传“文件:WSO2-identity-server-self-registration.png” (图片来自：https://is.docs.wso2.com/en/latest/learn/self-registration/ category:identity category:WSO2)
• 2020年9月2日 (三) 00:17 Allen (讨论 | 贡献)上传“文件:KNIME-Software-Security-Policy.png” (图片取自《KNIME Software Development Framework and Security》 category:KNIME category:security)
• 2020年9月2日 (三) 00:15 Allen (讨论 | 贡献)上传“文件:KNIME-Software-Development-Framework.png” (图片取自《KNIME Software Development Framework and Security》 category:KNIME category:security)
• 2020年9月1日 (二) 16:03 Allen (讨论 | 贡献)上传“文件:Xacml-system-architecture.png” (图片来自：https://is.docs.wso2.com/en/latest/get-started/access-control-and-entitlement-management/ category:identity category:WSO2)
• 2020年9月1日 (二) 15:57 Allen (讨论 | 贡献)上传“文件:Xacml-engine-architecture.png” (图片来自：https://is.docs.wso2.com/en/latest/get-started/access-control-and-entitlement-management/ category:identity category:WSO2)
• 2020年9月1日 (二) 15:50 Allen (讨论 | 贡献)上传“文件:Carbon-policy-finder.png” (图片来自：https://is.docs.wso2.com/en/latest/get-started/access-control-and-entitlement-management/ category:identity category:WSO2)
• 2020年9月1日 (二) 15:40 Allen (讨论 | 贡献)上传“文件:Carbon-attribute-finder.png” (图片来自：https://is.docs.wso2.com/en/latest/get-started/access-control-and-entitlement-management/ category:identity category:WSO2)
• 2020年9月1日 (二) 01:45 Allen (讨论 | 贡献)上传“文件:WSO2-Carbon-components-Microservice-Manager-and-Transport-Manager.jpeg” (图片来自：https://github.com/wso2/carbon-kernel/blob/master/docs/KernelFeatures/ResolvingtheComponentStartupOrder.md category:OSGi category:microservices category:WSO2)
• 2020年9月1日 (二) 01:27 Allen (讨论 | 贡献)上传“文件:WSO2-Carbon-Kernel.png” (图片来自：https://github.com/wso2/carbon-kernel category:OSGi category:WSO2)
• 2020年9月1日 (二) 00:45 Allen (讨论 | 贡献)上传“文件:Forrester-Wave-API-Management-Solutions-Q32020.png” (图片来自：https://wso2.com/resources/analyst-reports/the-forrester-wave-api-management-solutions-q3-2020/ category:API category:WSO2)
• 2020年9月1日 (二) 00:25 Allen (讨论 | 贡献)上传“文件:Forrester-Wave-API-Management-Solutions-Q32020.gif” (图片来自：https://wso2.com/resources/analyst-reports/the-forrester-wave-api-management-solutions-q3-2020/ category:API category:WSO2)
• 2020年8月31日 (一) 14:14 Allen (讨论 | 贡献)上传“文件:KNIME-Model-Process-Factory-Workflow.png” (图片来自：https://www.knime.com/blog/beauty-and-the-monster category:workflow category:KNIME)
• 2020年8月28日 (五) 00:54 Allen (讨论 | 贡献)上传“文件:Nuxeo-drive.png”
• 2020年8月28日 (五) 00:48 Allen (讨论 | 贡献)上传“文件:Nuxeo-domain-workspaces-videos-mp4.png”
• 2020年8月28日 (五) 00:48 Allen (讨论 | 贡献)上传“文件:Nuxeo-domain-workspaces-create-content.png”
• 2020年8月27日 (四) 14:55 Allen (讨论 | 贡献)上传“文件:Nuxeo-bundle-component-service.png” (图片来自：https://explorer.nuxeo.com/nuxeo/site/distribution category:OSGi)
• 2020年8月27日 (四) 09:08 Allen (讨论 | 贡献)上传“文件:Eclipse-Sirius-02.png” (图片取自：https://www.eclipse.org/sirius/presentations.html category:eclipse)
• 2020年8月27日 (四) 09:07 Allen (讨论 | 贡献)上传“文件:Eclipse-Sirius-01.png” (图片取自：https://www.eclipse.org/sirius/presentations.html category:eclipse)
• 2020年8月27日 (四) 01:41 Allen (讨论 | 贡献)上传“文件:Scylladb-Lightweight-Transactions.png” (图片来自：https://docs.scylladb.com/using-scylla/lwt/ category:database)
• 2020年8月26日 (三) 05:39 Allen (讨论 | 贡献)上传“文件:Automated-malware-analysis-system-overview.png” (图片来自：https://www.gdatasoftware.com/blog/2018/11/31203-malware-analysis-with-a-graph-database category:graph database)
• 2020年8月26日 (三) 01:23 Allen (讨论 | 贡献)上传“文件:Sonata-Doctrine-API-Basket.svg” (图片来自：https://sonata-project.org/bundles/ecommerce/master/doc/reference/architecture/basket.html category:API)
• 2020年8月24日 (一) 15:30 Allen (讨论 | 贡献)上传“文件:Headless-Commerce-Architecture.png”的新版本
• 2020年8月24日 (一) 15:29 Allen (讨论 | 贡献)上传“文件:Headless-Commerce-Architecture.png” (图片来自：https://pimcore.com/en/resources/whitepapers category:B2B2C2C category:PHP)
• 2020年8月21日 (五) 14:25 Allen (讨论 | 贡献)上传“文件:Pim-mdm-dam-cdp-dxp-dcp.png”
• 2020年8月21日 (五) 14:05 Allen (讨论 | 贡献)上传“文件:Pimcore-architectural-chart.png” (图片来自：https://pimcore.com/docs/6.x/Development_Documentation/Getting_Started/Architecture_Overview.html category:B2B2C2C category:symfony category:PHP)
• 2020年8月21日 (五) 13:42 Allen (讨论 | 贡献)上传“文件:Pimcore-ecommerce-architecture.png” (图片来自：https://pimcore.com/docs/6.x/Development_Documentation/E-Commerce_Framework/Architecture_Overview.html category:B2B2C2C category:symfony category:PHP)
• 2020年8月21日 (五) 04:47 Allen (讨论 | 贡献)上传“文件:PIM-MDM-with-background.png”的新版本
• 2020年8月21日 (五) 04:45 Allen (讨论 | 贡献)上传“文件:PIM-MDM-with-background.png” (图片来自：https://pimcore.com/en/product-information-management/features/data-integration-and-delivery category:B2B2C2C)
• 2020年8月20日 (四) 10:14 Allen (讨论 | 贡献)上传“文件:Composer-laravel-installer.png” (category:PHP)
• 2020年8月19日 (三) 15:41 Allen (讨论 | 贡献)上传“文件:Drupal7-drupal8-drupal9.png” (category:drupal)
• 2020年8月17日 (一) 08:51 Allen (讨论 | 贡献)上传“文件:Drupal8-web-services-rest-json-grapql.jpg” (图片来自：https://dri.es/advancing-drupal-web-services category:drupal category:REST category:API)
• 2020年8月17日 (一) 01:40 Allen (讨论 | 贡献)上传“文件:Symfony-components-Drupal8.png” (图片来自：https://cipix.nl/understanding-drupal-8-part-1-general-structure-framework category:symfony category:drupal)
• 2020年8月17日 (一) 01:39 Allen (讨论 | 贡献)上传“文件:3rd-party-components-Drupal8.png” (图片来自：https://cipix.nl/understanding-drupal-8-part-1-general-structure-framework category:symfony category:drupal)
• 2020年8月10日 (一) 09:29 Allen (讨论 | 贡献)上传“文件:Minds-architecture-diagram.jpg” (图片来自：https://developers.minds.com/docs/guides/architecture/ category:social network)