欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
上传日志
下面是最近的文件上传的列表。图像概览请见新文件库。
(最后 | 最早) 查看（前50个 | 后50个）（20 | 50 | 100 | 250 | 500）- 2021年9月22日 (三) 02:43 Allen (讨论 | 贡献)上传“文件:Apache-Clerezza-Architecture.png” (https://clerezza.apache.org/architecture/ category:Semantic Web category:natural language processing category:apache)
- 2021年9月20日 (一) 05:02 Allen (讨论 | 贡献)上传“文件:License-X2C-Free.png” (https://x2c.lcm.at/downloads/ category:simulation category:scilab)
- 2021年9月20日 (一) 04:58 Allen (讨论 | 贡献)上传“文件:X2C-Model-Xcos.png” (https://x2c.lcm.at/screenshots/ category:simulation category:scilab)
- 2021年9月20日 (一) 04:22 Allen (讨论 | 贡献)上传“文件:ARGO-Toolflow.png”的新版本 (https://www.scilab.org/use-cases/model-based-design-of-an-enhanced-ground-proximity-warning-system category:simulation category:scilab)
- 2021年9月19日 (日) 10:04 Allen (讨论 | 贡献)上传“文件:Mbed-OS-Architecture.png” (https://os.mbed.com/docs/mbed-os/v6.14/introduction/architecture.html category:operating system category:Internet of Things)
- 2021年9月19日 (日) 08:54 Allen (讨论 | 贡献)上传“文件:Workflow neu DSP-Fake ePS-Qualification-Kit.png” (https://www.emmtrix.com/tools category:scilab category:octave category:MATLAB)
- 2021年9月17日 (五) 11:48 Allen (讨论 | 贡献)上传“文件:Scilab-code-generator-parallelization.png” (https://www.scilab.org/software/atoms/scilab-code-generator category:scilab category:simulation)
- 2021年9月17日 (五) 05:56 Allen (讨论 | 贡献)上传“文件:ARGO-Toolflow.png” (http://www.argo-project.eu/the-argo-approach/ category:simulation category:scilab)
- 2021年9月15日 (三) 06:43 Allen (讨论 | 贡献)上传“文件:KDE-Frameworks.png” (https://zh.wikipedia.org/wiki/KDE_Frameworks_5 category:KDE category:qt)
- 2021年9月15日 (三) 03:48 Allen (讨论 | 贡献)上传“文件:Mltframework-logo.png” (https://kdenlive.org/zh/about-zh/ category:multimedia category:KDE)
- 2021年9月15日 (三) 03:47 Allen (讨论 | 贡献)上传“文件:Ffmpeg-logo.png” (https://kdenlive.org/zh/about-zh/ category:multimedia category:KDE)
- 2021年9月15日 (三) 03:45 Allen (讨论 | 贡献)上传“文件:Kde-logo.png” (https://kdenlive.org/zh/about-zh/ category:KDE)
- 2021年9月15日 (三) 03:44 Allen (讨论 | 贡献)上传“文件:Qt-logo.png”的新版本 (https://kdenlive.org/zh/about-zh/ category:qt)
- 2021年9月14日 (二) 08:25 Allen (讨论 | 贡献)上传“文件:Gtk-architecture.png” (https://www.gtk.org/docs/architecture/ category:GTK)
- 2021年9月14日 (二) 08:20 Allen (讨论 | 贡献)上传“文件:Gtk-architecture.svg” (https://www.gtk.org/docs/architecture/ category:GTK)
- 2021年9月14日 (二) 06:14 Allen (讨论 | 贡献)上传“文件:Qt-Signals-and-Slots.png” (https://docs.huihoo.com/qt/5.x/signalsandslots.html category:qt category:c++)
- 2021年9月14日 (二) 01:20 Allen (讨论 | 贡献)上传“文件:Qt-threads-and-objects.png” (https://wiki.qt.io/Threads_Events_QObjects category:qt)
- 2021年9月14日 (二) 01:09 Allen (讨论 | 贡献)上传“文件:Reactos-architecture.png” (https://reactos.org/architecture category:operating system category:windows)
- 2021年9月13日 (一) 04:37 Allen (讨论 | 贡献)上传“文件:Qt3d-plugins.jpeg” (https://www.kdab.com/qt3d-renderer-qt6/ category:qt category:3D category:OpenGL category:vulkan)
- 2021年9月13日 (一) 00:58 Allen (讨论 | 贡献)上传“文件:Python.png” (https://www.tiobe.com/tiobe-index/ category:python)
- 2021年9月13日 (一) 00:58 Allen (讨论 | 贡献)上传“文件:Ruby.png” (https://www.tiobe.com/tiobe-index/ category:ruby)
- 2021年9月13日 (一) 00:57 Allen (讨论 | 贡献)上传“文件:PHP.png” (https://www.tiobe.com/tiobe-index/ category:PHP)
- 2021年9月12日 (日) 17:01 Allen (讨论 | 贡献)上传“文件:SailfishOS-Architecture.jpeg” (https://sailfishos.org/info/ category:operating system category:mobile category:qt)
- 2021年9月12日 (日) 16:23 Allen (讨论 | 贡献)上传“文件:Qtsr-overview.png” (https://doc.qt.io/QtSafeRenderer/qtsr-workflow.html category:qt category:automotive category:security)
- 2021年9月11日 (六) 08:29 Allen (讨论 | 贡献)上传“文件:CSharp.png” (https://www.tiobe.com/tiobe-index/ [[category:C Sharp])
- 2021年9月11日 (六) 08:28 Allen (讨论 | 贡献)上传“文件:CPP.png” (https://www.tiobe.com/tiobe-index/ [[category:c++])
- 2021年9月11日 (六) 08:27 Allen (讨论 | 贡献)上传“文件:C.png” (https://www.tiobe.com/tiobe-index/ [[category:c programming language])
- 2021年9月10日 (五) 23:53 Allen (讨论 | 贡献)上传“文件:Libgeodecomp.png” (http://libgeodecomp.org/documentation.html category:simulation category:paralle computing)
- 2021年9月10日 (五) 10:17 Allen (讨论 | 贡献)上传“文件:Cpp-wg21-timeline.png”的新版本 (https://isocpp.org/files/img/wg21-timeline-2019-07.png category:c++)
- 2021年9月9日 (四) 15:27 Allen (讨论 | 贡献)上传“文件:SYCL-Single-Source-CPP-Parallel-Programming.jpeg” (https://www.khronos.org/sycl/ category:parallel computing category:c++)
- 2021年9月9日 (四) 15:16 Allen (讨论 | 贡献)上传“文件:OpenVX-and-OpenCV-are-Complementary.png” (https://www.khronos.org/openvx/ category:computer vision category:OpenCV)
- 2021年9月9日 (四) 08:10 Allen (讨论 | 贡献)上传“文件:Openvino.png” (https://software.intel.com/content/www/us/en/develop/tools/openvino-toolkit.html category:deep learning category:computer vision category:OpenCV)
- 2021年9月9日 (四) 06:07 Allen (讨论 | 贡献)上传“文件:Aswf-landscape.png” (https://github.com/AcademySoftwareFoundation/aswf-landscape category:video category:movie category:multimedia category:ASWF)
- 2021年9月9日 (四) 04:24 Allen (讨论 | 贡献)上传“文件:Libvlc-stack.png” (https://www.videolan.org/vlc/libvlc.html )
- 2021年9月8日 (三) 10:04 Allen (讨论 | 贡献)上传“文件:Gazebo-ros-transmission.png” (http://gazebosim.org/tutorials?tut=ros_control&cat=connect_ros category:ROS category:simulation category:robot category:robotics)
- 2021年9月8日 (三) 09:14 Allen (讨论 | 贡献)上传“文件:OpenMM-Architecture-Layers.jpeg” (http://docs.openmm.org/latest/userguide/library/01_introduction.html category:simulation category:robotics category:robot)
- 2021年9月8日 (三) 08:50 Allen (讨论 | 贡献)上传“文件:Gazebo-integration-ros.png” (http://gazebosim.org/tutorials?tut=ros_overview&cat=connect_ros category:ROS category:robot)
- 2021年9月8日 (三) 00:33 Allen (讨论 | 贡献)上传“文件:Scilab-xcos.png” (category:scilab)
- 2021年9月7日 (二) 15:02 Allen (讨论 | 贡献)上传“文件:Gartner-mq-2021-data-science-machine-learning-platforms.png” (https://www.gartner.com/reprints/?id=1-25DG78TT&ct=210303&st=sb category:machine learning category:data science)
- 2021年9月7日 (二) 09:03 Allen (讨论 | 贡献)上传“文件:Scilab-ipcv.png” (category:scilab category:deep learning)
- 2021年9月1日 (三) 09:18 Allen (讨论 | 贡献)上传“文件:Security-zephyr-system-architecture.png” (https://docs.zephyrproject.org/latest/security/security-overview.html category:security category:real-time operating system category:embedded system category:Internet of Things category:Linux Foundation)
- 2021年8月31日 (二) 04:43 Allen (讨论 | 贡献)上传“文件:Chess.jpeg” (category:chess)
- 2021年8月30日 (一) 14:46 Allen (讨论 | 贡献)上传“文件:Linux-bcc-tracing-tools-2016.png” (https://www.iovisor.org/technology/bcc category:linux)
- 2021年8月29日 (日) 00:36 Allen (讨论 | 贡献)上传“文件:AGL-security-overview.png” (https://docs.automotivelinux.org/en/lamprey/#2_Architecture_Guides/2_Security_Blueprint/0_Overview/ category:security category:automotive category:Linux Foundation)
- 2021年8月27日 (五) 23:57 Allen (讨论 | 贡献)上传“文件:Automotivelinux-logo.png” (https://wiki.automotivelinux.org/ category:automotive category:linux category:Linux Foundation)
- 2021年8月27日 (五) 22:43 Allen (讨论 | 贡献)上传“文件:Aisin-autonomous.jpg” (https://www.aisin.com/cn/technology/case/autonomous/ category:automotive)
- 2021年8月26日 (四) 01:31 Allen (讨论 | 贡献)上传“文件:Graphviz-output-formats.png” (https://graphviz.org/docs/outputs/ category:graphviz)
- 2021年8月25日 (三) 13:19 Allen (讨论 | 贡献)上传“文件:Eclipse-Modeling-logo.jpg” (https://wiki.eclipse.org/Category:Modeling category:eclipse)
- 2021年8月24日 (二) 14:31 Allen (讨论 | 贡献)上传“文件:Gitlab-integration-grafana.png” (category:gitlab category:visualization category:data visualization)
- 2021年8月24日 (二) 02:58 Allen (讨论 | 贡献)上传“文件:Omnibus-GitLab-Architecture-and-Components.png” (https://docs.gitlab.com/omnibus/architecture/ category:gitlab category:git category:ruby category:rails)
分享您的观点
