欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
上传日志
下面是最近的文件上传的列表。图像概览请见新文件库。
(最后 | 最早) 查看(前500个 | 后500个)(20 | 50 | 100 | 250 | 500)- 2024年4月14日 (日) 02:40 Allen (讨论 | 贡献)上传“文件:Zsxq.jpg”的新版本
- 2024年1月14日 (日) 13:21 Allen (讨论 | 贡献)上传“文件:Huihoo-logo-trademark-3198632.png” (category:huihoo)
- 2023年12月23日 (六) 07:35 Allen (讨论 | 贡献)上传“文件:KVMac16.jpg” (图片来自:https://uplab.pro/2023/11/kvm-rack-stand-for-mac-minis-kvmac16/ category:server category:mac)
- 2023年12月22日 (五) 08:18 Allen (讨论 | 贡献)上传“文件:Huihoo-music.png” (category:huihoo category:music)
- 2023年8月5日 (六) 14:39 Allen (讨论 | 贡献)上传“文件:FinGPT-Applications.png” (https://medium.datadriveninvestor.com/fingpt-powering-the-future-of-finance-with-20-cutting-edge-applications-7c4d082ad3d8 category:financial category:artificial intelligence )
- 2023年8月5日 (六) 14:33 Allen (讨论 | 贡献)上传“文件:AI4Finance-Foundation-FinGPT-Framework.png” (https://github.com/AI4Finance-Foundation/FinGPT category:financial category:artificial intelligence)
- 2023年8月5日 (六) 14:31 Allen (讨论 | 贡献)上传“文件:AI4Finance-Foundation-FinRL-Framework.jpeg” (https://github.com/AI4Finance-Foundation/FinRL category:financial category:artificial intelligence)
- 2023年8月1日 (二) 11:44 Allen (讨论 | 贡献)上传“文件:R.NET-logo.png” (https://github.com/rdotnet category:r category:.NET)
- 2023年8月1日 (二) 11:22 Allen (讨论 | 贡献)上传“文件:Pythonnet-logo.png” (https://github.com/pythonnet category:.NET category:python)
- 2023年7月31日 (一) 13:09 Allen (讨论 | 贡献)上传“文件:Open-Source-Cyber-Security-Tools.png” (https://cyberwarzone.com/top-25-open-source-cyber-security-tools category:security)
- 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)
- 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)
- 2022年12月4日 (日) 10:33 Allen (讨论 | 贡献)上传“文件:Droidian-logo.png” (https://droidian.org/ category:debian category:andorid category:mobile)
- 2022年12月2日 (五) 09:55 Allen (讨论 | 贡献)上传“文件:Mathematics-genealogy-skeleton.png” (https://www.mathgenealogy.org/ category:mathematics)
- 2022年12月1日 (四) 08:58 Allen (讨论 | 贡献)上传“文件:Carp-lang-logo.png” (https://github.com/carp-lang category:progamming language category:haskell category:lisp)
- 2022年11月29日 (二) 09:30 Allen (讨论 | 贡献)上传“文件:Modelica-Association-Projects.png” (https://github.com/modelica/MA-Logos category:simulation category:model)
- 2022年11月29日 (二) 09:29 Allen (讨论 | 贡献)上传“文件:Modelica-Association-logo.png” (https://modelica.org/ category:simulation category:model)
- 2022年11月27日 (日) 02:43 Allen (讨论 | 贡献)上传“文件:GAP.png” (https://www.gap-system.org/ category:mathematics)
- 2022年11月23日 (三) 14:44 Allen (讨论 | 贡献)上传“文件:Galois-logo.jpg” (https://ivorylang.org/about.html category:cryptography category:security category:haskell)
- 2022年11月15日 (二) 05:44 Allen (讨论 | 贡献)上传“文件:Project-gutenberg-logo.png” (https://www.gutenberg.org/ category:book)
- 2022年10月31日 (一) 08:29 Allen (讨论 | 贡献)上传“文件:D-Wave-Quantum-Computer.jpg” (category:量子计算 category:computer science category:physics category:science)
- 2022年10月31日 (一) 07:21 Allen (讨论 | 贡献)上传“文件:D-Wave-2000Q.png” (category:量子计算 category:computer science category:physics category:science )
- 2022年10月31日 (一) 03:37 Allen (讨论 | 贡献)上传“文件:Theory-of-everything.png” (来源:https://zh.wikipedia.org/wiki/%E4%B8%87%E6%9C%89%E7%90%86%E8%AE%BA category:physics category:science category:mathematics)
- 2022年10月30日 (日) 09:25 Allen (讨论 | 贡献)上传“文件:Quantum-materials-simulation.png” (https://dwavefederal.com/applications/ category:量子计算 category:computer science category:physics category:science)
- 2022年10月30日 (日) 06:52 Allen (讨论 | 贡献)上传“文件:D-wave.jpeg” (https://www.nasa.gov/ames/quantum-computing/ category:量子计算 category:computer science category:physics category:science)
- 2022年10月30日 (日) 00:50 Allen (讨论 | 贡献)上传“文件:Quantum-simulation.png” (图片取自 https://www.cs.tulane.edu/quantum/slides/PR18/simcount.pdf category:量子计算 category:computer science category:mathematics category:physics category:science)
- 2022年10月29日 (六) 08:44 Allen (讨论 | 贡献)上传“文件:Whatsapp-Viber-Wechat-Technical-Architecture.jpg” (https://medium.com/@johnvincentt27/how-to-build-a-secure-chat-app-like-whatsapp-wechat-viber-1245fa29ab3 category:IM category:XMPP category:erlang category:elixir)
- 2022年10月28日 (五) 04:04 Allen (讨论 | 贡献)上传“文件:Elixir-in-the-Type-System-Quadrant.png” (https://thinkingelixir.com/elixir-in-the-type-system-quadrant/ category:erlang category:elixir category:programming language category:functional programming )
- 2022年10月23日 (日) 04:43 Allen (讨论 | 贡献)上传“文件:Mathematical-Thought-from-Ancient-to-Modern-Times.jpg” (category:mathematics category:book)
- 2022年10月21日 (五) 23:51 Allen (讨论 | 贡献)上传“文件:Mathematics-symbol-history.jpg” (图片取自《数学之英文写作》Mathematical Writing in English p.93 category:mathematics)
- 2022年10月20日 (四) 12:39 Allen (讨论 | 贡献)上传“文件:Greek-letters.png” (https://en.wikipedia.org/wiki/Greek_letters_used_in_mathematics,_science,_and_engineering category:mathematics category:formal category:TeX)
- 2022年10月19日 (三) 07:52 Allen (讨论 | 贡献)上传“文件:Music-circle-of-fifths.png” (https://en.wikipedia.org/wiki/Tonic_(music) category:music)
- 2022年10月19日 (三) 05:01 Allen (讨论 | 贡献)上传“文件:Types-logic-sets-homotopy.png” (https://github.com/HoTT/book p.15 category:formal category:mathematics category:mathematical logic category:reasoning)
- 2022年10月19日 (三) 03:36 Allen (讨论 | 贡献)上传“文件:HoTT-univalence-axiom.png” (https://homotopytypetheory.org/ category:formal category:mathematics category:mathematical logic category:reasoning)
- 2022年10月18日 (二) 15:00 Allen (讨论 | 贡献)上传“文件:Homotopy-Type-Theory.png” (https://en.wikipedia.org/wiki/Homotopy_type_theory category:mathematical logic category:mathematics category:formal category:reasoning)
- 2022年10月17日 (一) 15:36 Allen (讨论 | 贡献)上传“文件:Univalent-Foundations-Vladimir-Voevodsky.png” (category:formal category:mathematics category:coq)
- 2022年10月16日 (日) 11:21 Allen (讨论 | 贡献)上传“文件:PolyML-SML-Basis-Library.png” (category:ML)
- 2022年10月16日 (日) 07:05 Allen (讨论 | 贡献)上传“文件:Closure-properties-of-language-families.png” (https://en.wikipedia.org/wiki/Formal_language category:formal category:programming language category:mathematics)
- 2022年10月15日 (六) 14:07 Allen (讨论 | 贡献)上传“文件:Standard-ML-97-seven-sections.png” (https://smlfamily.github.io/sml97-defn.pdf category:programming language category:formal category:proof assistant category:reasoning category:ML)
- 2022年10月15日 (六) 11:58 Allen (讨论 | 贡献)上传“文件:Cakeml-verified-x86-64-machine-code.png” (https://cakeml.org/ category:formal category:proof assistant category:ML)
- 2022年10月15日 (六) 08:17 Allen (讨论 | 贡献)上传“文件:Verified-vs-Verifying-Program.png” (图片取自:https://www.kth.se/social/files/596318bc56be5bfdc343d436/itp-course.pdf category:formal category:mathematics category:reasoning category:ML)
- 2022年10月15日 (六) 05:08 Allen (讨论 | 贡献)上传“文件:ITP-Common-Terms-and-Types.png” (图片取自:https://www.kth.se/social/files/596318bc56be5bfdc343d436/itp-course.pdf category:formal category:proof assistant category:reasoning category:ML)
- 2022年10月15日 (六) 01:00 Allen (讨论 | 贡献)上传“文件:Mathematical-vs-Formal-Proof.png” (图片取自:https://www.kth.se/social/files/596318bc56be5bfdc343d436/itp-course.pdf category:mathematics category:formal category:proof assistant category:ML)
- 2022年10月14日 (五) 13:42 Allen (讨论 | 贡献)上传“文件:FStar-for-Billions-User.png” (https://www.fstar-lang.org/gs2021/gs2021.html#/sec-program-proofs-in-f--for-billions-of-unsuspecting-users category:proof assistant category:formal category:ML category:OCaml)
- 2022年10月14日 (五) 09:31 Allen (讨论 | 贡献)上传“文件:FStarLang-logo.png” (https://github.com/FStarLang category:programming language category:OCaml category:formal category:proof assistant)
- 2022年10月10日 (一) 08:47 Allen (讨论 | 贡献)上传“文件:Erlang-Henk-Pure-Type-System.png” (category:formal category:mathematics category:erlang)
- 2022年10月9日 (日) 14:58 Allen (讨论 | 贡献)上传“文件:Simply-Logical.gif” (https://book.simply-logical.space/ category:reasoning category:artificial intelligence category:mathematical logic category:prolog)
- 2022年10月9日 (日) 07:49 Allen (讨论 | 贡献)上传“文件:Pleroma-logo.png” (https://github.com/minibikini/pleroma category:social network category:elixir category:erlang)
- 2022年10月8日 (六) 03:41 Allen (讨论 | 贡献)上传“文件:Quickdocs-logo.png” (https://github.com/quickdocs category:lisp)
- 2022年10月7日 (五) 09:37 Allen (讨论 | 贡献)上传“文件:Isabelle-on-windows.png” (category:formal category:proof assistant category:ML)
- 2022年10月7日 (五) 03:03 Allen (讨论 | 贡献)上传“文件:DrRacket-R6RS.png” (category:lisp category:racket category:scheme)
- 2022年10月4日 (二) 00:00 Allen (讨论 | 贡献)上传“文件:Limit.png” (《数学指南:实用数学手册》 category:mathematics)
- 2022年10月2日 (日) 10:05 Allen (讨论 | 贡献)上传“文件:Quil-language-logo.png” (https://github.com/quil-lang category:programming language category:量子计算 category:computer science category:mathematics category:physics category:science category:lisp)
- 2022年9月28日 (三) 11:17 Allen (讨论 | 贡献)上传“文件:SMT-Z3.png” (https://nikolajbjorner.github.io/slides/Z3_System.pdf category:formal category:proof assistant)
- 2022年9月28日 (三) 06:50 Allen (讨论 | 贡献)上传“文件:Haskell-cabal-logo.png” (https://github.com/haskell/cabal category:package category:haskell)
- 2022年9月27日 (二) 12:58 Allen (讨论 | 贡献)上传“文件:Basic-symbols-used-in-logic.png” (https://ncatlab.org/nlab/show/equivalence category:mathematical logic category:mathematics category:formal)
- 2022年9月26日 (一) 11:08 Allen (讨论 | 贡献)上传“文件:Ocaml-owl-library.png” (《OCaml Scientific Computing: Functional Programming in Data Science and Artificial Intelligence》 https://ocaml.org/p/owl/ category:OCaml category:science category:data science category:aritifical intelligence )
- 2022年9月25日 (日) 09:57 Allen (讨论 | 贡献)上传“文件:ProofGeneral-logo.png” (https://github.com/ProofGeneral category:formal category:proof assistant category:reasoning category:mathematics)
- 2022年9月25日 (日) 09:10 Allen (讨论 | 贡献)上传“文件:Cowboy-home.png” (https://ninenines.eu/ category:web server category:erlang category:REST)
- 2022年9月24日 (六) 06:48 Allen (讨论 | 贡献)上传“文件:Customize-Emacs-Languages.png” (category:IDE category:editor category:emacs)
- 2022年9月24日 (六) 06:47 Allen (讨论 | 贡献)上传“文件:Customize-Emacs.png” (category:IDE category:editor category:emacs)
- 2022年9月24日 (六) 00:39 Allen (讨论 | 贡献)上传“文件:KDE-Marble.png”的新版本
- 2022年9月24日 (六) 00:37 Allen (讨论 | 贡献)上传“文件:KDE-Marble.png” (https://marble.kde.org/ category:map category:KDE category:qt )
- 2022年9月23日 (五) 04:11 Allen (讨论 | 贡献)上传“文件:KDE-KBibTeX.png” (https://apps.kde.org/zh-cn/kbibtex/ category:TeX category:KDE category:qt category:science)
- 2022年9月22日 (四) 23:47 Allen (讨论 | 贡献)上传“文件:Falkon-browser.png” (https://www.falkon.org/ category:browser category:qt category:c++ category:KDE)
- 2022年9月22日 (四) 14:51 Allen (讨论 | 贡献)上传“文件:KDevelop-IDE.png” (category:IDE category:KDE category:Qt)
- 2022年9月22日 (四) 14:50 Allen (讨论 | 贡献)上传“文件:KDevelop-Addons.png” (category:IDE category:KDE category:Qt)
- 2022年9月22日 (四) 14:02 Allen (讨论 | 贡献)上传“文件:Mascot-konqi-dev-kde.png” (https://community.kde.org/Konqi category:desktop environment category:mobile category:KDE category:qt)
- 2022年9月22日 (四) 13:11 Allen (讨论 | 贡献)上传“文件:Plasma-Mobile-Telephony-Stack.png” (https://develop.kde.org/docs/build/plasma-mobile/telephony/ category:mobile category:KDE category:qt)
- 2022年9月21日 (三) 13:08 Allen (讨论 | 贡献)上传“文件:Drum-vibration-mode.gif” (https://zh.wikipedia.org/wiki/%E6%B3%9B%E5%87%BD%E5%88%86%E6%9E%90 category:mathematics)
- 2022年9月20日 (二) 14:37 Allen (讨论 | 贡献)上传“文件:KDE-RKWard-R-Packages.png” (category:R category:data science category:data visualization category:KDE category:qt)
- 2022年9月20日 (二) 12:50 Allen (讨论 | 贡献)上传“文件:KDE-RKWard.png” (https://rkward.kde.org/ category:R category:data science category:data visualization category:KDE category:qt)
- 2022年9月20日 (二) 11:18 Allen (讨论 | 贡献)上传“文件:R-hub-logo.png” (https://github.com/r-hub category:R category:data science)
- 2022年9月20日 (二) 04:48 Allen (讨论 | 贡献)上传“文件:Kdenlive-logo.png” (https://kdenlive.org/ category:KDE category:qt category:video)
- 2022年9月19日 (一) 08:04 Allen (讨论 | 贡献)上传“文件:KDE-LabPlot-CAS.png” (https://labplot.kde.org/ category:data visualization category:visualization category:scilab category:maxima category:octave category:KDE)
- 2022年9月19日 (一) 06:50 Allen (讨论 | 贡献)上传“文件:KDE-LabPlot.png” (https://labplot.kde.org/ category:KDE category:visualization )
- 2022年9月19日 (一) 04:47 Allen (讨论 | 贡献)上传“文件:GNU-DrGeo.png” (https://www.gnu.org/software/dr-geo/ category:pharo category:smalltalk category:mathematics category:GNU)
- 2022年9月18日 (日) 13:21 Allen (讨论 | 贡献)上传“文件:Branch-of-mathematics.jpg” (图片取自《普林斯顿数学指南》(第二卷) category:mathematics)
- 2022年9月18日 (日) 12:02 Allen (讨论 | 贡献)上传“文件:Ecto-logo.png” (https://github.com/elixir-ecto/ecto category:elixir category:database)
- 2022年9月18日 (日) 11:10 Allen (讨论 | 贡献)上传“文件:Phoenix-LiveDashboard.png” (https://github.com/phoenixframework/phoenix_live_dashboard category:elixir category:erlang category:framework)
- 2022年9月18日 (日) 02:20 Allen (讨论 | 贡献)上传“文件:TeXstudio.png” (category:TeX category:c++ category:qt category:mathematics category:physics category:science)
- 2022年9月16日 (五) 11:01 Allen (讨论 | 贡献)上传“文件:Mathematicians.png” (https://mathshistory.st-andrews.ac.uk/ category:mathematics)
- 2022年9月9日 (五) 12:22 Allen (讨论 | 贡献)上传“文件:Quantum-computing-2001-2020.jpg” (https://cn.nikkei.com/industry/scienceatechnology/43725-2021-02-18-05-00-00.html category:量子计算)
- 2022年9月7日 (三) 08:38 Allen (讨论 | 贡献)上传“文件:HPC-AI.jpg” (https://cn.nikkei.com/industry/scienceatechnology/49060-2022-07-13-05-00-47.html category:artificial intelligence category:HPC)
- 2022年9月7日 (三) 05:04 Allen (讨论 | 贡献)上传“文件:Quantum-computing-type.jpg” (https://cn.nikkei.com/industry/scienceatechnology/49608-2022-08-29-08-26-17.html category:量子计算 category:computer science)
- 2022年9月6日 (二) 05:55 Allen (讨论 | 贡献)上传“文件:SPIE-logo.png” (https://spie.org/ category:science)
- 2022年9月6日 (二) 04:56 Allen (讨论 | 贡献)上传“文件:Product-lifecycle-management.png” (https://en.wikipedia.org/wiki/Computer-aided_technologies category:PLM category:CAD)
- 2022年9月6日 (二) 01:02 Allen (讨论 | 贡献)上传“文件:MinGW-w64-long.png” (https://www.mingw-w64.org/ category:GCC category:LLVM category:windows category:compiler)
- 2022年9月5日 (一) 08:52 Allen (讨论 | 贡献)上传“文件:BRL-CAD-Industry-Diagram.png” (https://brlcad.org/gallery/picture.php?/3/category/1 category:CAD category:EDA)
- 2022年9月3日 (六) 12:06 Allen (讨论 | 贡献)上传“文件:Musical-composition-system.png” (http://www.zogotounga.net/comp/devover.html category:music category:squeak category:lisp )
- 2022年8月31日 (三) 09:33 Allen (讨论 | 贡献)上传“文件:Smalltalk-80-Cover-of-the-Blue-Book.png” (https://wiki.squeak.org/squeak/64 category:smalltalk)
- 2022年8月31日 (三) 09:01 Allen (讨论 | 贡献)上传“文件:Squeak-System-Browser.png” (https://wiki.squeak.org/squeak/673 category:squeak category:smalltalk)
- 2022年8月31日 (三) 05:48 Allen (讨论 | 贡献)上传“文件:Pharo-Versions.png” (http://wiki.astares.com/pharo/30 category:pharo category:smalltalk)
- 2022年8月30日 (二) 16:16 Allen (讨论 | 贡献)上传“文件:Smalltalk-logo.png” (category:smalltalk)
- 2022年8月30日 (二) 10:59 Allen (讨论 | 贡献)上传“文件:Opencobalt.png” (http://www.opencobalt.net/about/history category:squeak category:smalltalk category:3D)
- 2022年8月30日 (二) 09:54 Allen (讨论 | 贡献)上传“文件:Pharo-System-Browser.png” (https://medium.com/smalltalk-talk/pharo-the-future-of-software-development-1eff6240c60b category:pharo category:smalltalk)
- 2022年8月30日 (二) 00:44 Allen (讨论 | 贡献)上传“文件:OpenPonk-modeling-platform.png” (category:pharo category:smalltalk category:model)
- 2022年8月29日 (一) 12:20 Allen (讨论 | 贡献)上传“文件:TruffleSqueak-logo.png” (https://github.com/hpi-swa/trufflesqueak/ category:squeak category:smalltalk category:JVM)
- 2022年8月29日 (一) 10:33 Allen (讨论 | 贡献)上传“文件:Seaside-Control-Panel.png” (category:pharo category:smalltalk category:framework)
- 2022年8月29日 (一) 10:33 Allen (讨论 | 贡献)上传“文件:Seaside-status.png” (category:pharo category:smalltalk category:framework)
- 2022年8月29日 (一) 08:19 Allen (讨论 | 贡献)上传“文件:Smalltalk-Balloon.jpg” (category:programming language category:smalltalk)
- 2022年8月29日 (一) 06:53 Allen (讨论 | 贡献)上传“文件:Croquet-Model-View-Reflector.png” (https://www.croquet.io/docs/croquet/tutorial-2_1_model_view_reflector.html category:squeak category:smalltalk category:operation system)
- 2022年8月28日 (日) 14:04 Allen (讨论 | 贡献)上传“文件:Pharo-logo.png” (https://github.com/pharo-project category:smalltalk)
- 2022年8月28日 (日) 05:03 Allen (讨论 | 贡献)上传“文件:Fortran-wrf-model.jpeg” (https://github.com/wrf-model category:fortran)
- 2022年8月28日 (日) 03:11 Allen (讨论 | 贡献)上传“文件:Brlcad.png” (https://brlcad.org/w/images/4/44/Industry_Diagram.pdf category:model category:CAD)
- 2022年8月28日 (日) 02:40 Allen (讨论 | 贡献)上传“文件:MCRL2.png” (https://github.com/mCRL2org/mCRL2 category:model)
- 2022年8月27日 (六) 13:51 Allen (讨论 | 贡献)上传“文件:Gnu.tiny.png” (https://directory.fsf.org/wiki/File:Heckert_gnu.tiny.png category:GNU)
- 2022年8月27日 (六) 10:49 Allen (讨论 | 贡献)上传“文件:Numerical analysis-software.png” (图片来自:《并行计算:结构 算法 编程》第三版 category:numerical analysis category:mathematics category:HPC category:parallel computing)
- 2022年8月27日 (六) 03:31 Allen (讨论 | 贡献)上传“文件:Pmix-logo.png” (https://pmix.github.io/ category:parallel computing category:HPC)
- 2022年8月27日 (六) 03:04 Allen (讨论 | 贡献)上传“文件:Openhpc-logo.png” (https://github.com/openhpc/ohpc category:HPC category:parallel computing)
- 2022年8月25日 (四) 15:11 Allen (讨论 | 贡献)上传“文件:Gtk-fortran-developing.png” (https://github.com/vmagnin/gtk-fortran/wiki category:fortran category:GTK)
- 2022年8月22日 (一) 11:50 Allen (讨论 | 贡献)上传“文件:Emace-mode.png” (category:emacs)
- 2022年8月22日 (一) 09:21 Allen (讨论 | 贡献)上传“文件:Clojerl-windows.png” (category:clojure category:lisp category:erlang)
- 2022年8月22日 (一) 05:55 Allen (讨论 | 贡献)上传“文件:Clojerl-logo.png” (https://github.com/clojerl category:clojure category:lisp category:erlang)
- 2022年8月22日 (一) 03:55 Allen (讨论 | 贡献)上传“文件:Greek-Letter-Nu-thumb-120x120.jpg” (https://freestencilgallery.com/greek-letter-beta/ category:mathematics)
- 2022年8月22日 (一) 03:54 Allen (讨论 | 贡献)上传“文件:Greek-Letter-Mu-thumb-120x120.jpg” (https://freestencilgallery.com/greek-letter-beta/ category:mathematics)
- 2022年8月21日 (日) 13:13 Allen (讨论 | 贡献)上传“文件:Audacity-logo.png” (https://github.com/audacity/audacity category:audacity category:multimedia category:music)
- 2022年8月19日 (五) 04:55 Allen (讨论 | 贡献)上传“文件:ACL2-logo-small.png” (https://github.com/acl2 category:ACL2 category:lisp category:reasoning category:proof assistant category:formal)
- 2022年8月18日 (四) 03:49 Allen (讨论 | 贡献)上传“文件:Jena-architecture.png” (https://jena.apache.org/getting_started/ category:Semantic Web category:apache)
- 2022年8月18日 (四) 00:53 Allen (讨论 | 贡献)上传“文件:Desktop-protege-screenshot.jpg” (https://protege.stanford.edu/products.php category:knowledge management)
- 2022年8月17日 (三) 16:08 Allen (讨论 | 贡献)上传“文件:Protege-Desktop.jpg” (https://protegewiki.stanford.edu/wiki/Main_Page category:knowledge management category:java)
- 2022年8月17日 (三) 13:17 Allen (讨论 | 贡献)上传“文件:Logseq-architecture.png” (https://github.com/logseq/logseq category:knowledge management category:clojure)
- 2022年8月17日 (三) 13:05 Allen (讨论 | 贡献)上传“文件:Logcoq-02.png” (category:clojure category:knowledge management)
- 2022年8月17日 (三) 13:03 Allen (讨论 | 贡献)上传“文件:Logcoq-01.png” (category:clojure category:knowledge management)
- 2022年8月15日 (一) 09:51 Allen (讨论 | 贡献)上传“文件:Proof-Pad-on-Windows.png” (http://proofpad.org/ category:ACL2)
- 2022年8月15日 (一) 03:29 Allen (讨论 | 贡献)上传“文件:ACL2-Formal-Verification-Flow.png” (图片取自:https://www.cs.utexas.edu/users/hunt/talks/2021-11-Centaur.pdf category:proof assistant category:formal category:reasoning category:lisp)
- 2022年8月15日 (一) 03:28 Allen (讨论 | 贡献)上传“文件:ACL2-Formal-Verification-Design-Flow.png” (图片取自:https://www.cs.utexas.edu/users/hunt/talks/2021-11-Centaur.pdf category:proof assistant category:formal category:reasoning category:lisp)
- 2022年8月14日 (日) 14:21 Allen (讨论 | 贡献)上传“文件:Acl2-system-architecture.gif” (https://www.cs.utexas.edu/users/moore/acl2/v8-5/combined-manual/index.html?topic=ACL2____ACL2_02System_02Architecture category:reasoning category:proof assistant category:formal category:lisp)
- 2022年8月12日 (五) 08:57 Allen (讨论 | 贡献)上传“文件:Lisp-logo-128.png” (https://common-lisp.net/ category:lisp)
- 2022年8月11日 (四) 08:30 Allen (讨论 | 贡献)上传“文件:Piano-aircraft-analysis-suite.png” (https://lisp-lang.org/success/aero/ category:aerospace category:science category:lisp )
- 2022年8月11日 (四) 03:15 Allen (讨论 | 贡献)上传“文件:WxMaxima-windows.png” (category:mathematics category:lisp category:wxWidgets)
- 2022年8月10日 (三) 03:46 Allen (讨论 | 贡献)上传“文件:Aeternity-aetmodel-epoch-system-diagram.jpeg” (https://github.com/aeternity/aetmodel/blob/master/ThreatModel.md category:erlang category:blockchain category:virtualization)
- 2022年8月9日 (二) 16:06 Allen (讨论 | 贡献)上传“文件:Cassandra.png”的新版本
- 2022年8月7日 (日) 09:55 Allen (讨论 | 贡献)上传“文件:Graph-neural-networks.png” (https://www.freecodecamp.org/news/content/images/size/w2000/2022/01/download-1.png category:neural network category:deep learning category:artificial intelligence)
- 2022年8月6日 (六) 11:53 Allen (讨论 | 贡献)上传“文件:Graph-databases.png” (https://graphaware.com/graphaware/2020/02/17/graph-technology-landscape-2020.html category:graph database category:database)
- 2022年8月5日 (五) 15:41 Allen (讨论 | 贡献)上传“文件:Graph-Query-Language.png” (https://www.gqlstandards.org/existing-languages category:SQL category:graph database category:database)
- 2022年8月5日 (五) 14:59 Allen (讨论 | 贡献)上传“文件:Nebula-architecture.png” (https://github.com/vesoft-inc/nebula-architecture category:graph database category:database)
- 2022年8月5日 (五) 11:07 Allen (讨论 | 贡献)上传“文件:DB-Engines-Ranking-of-Graph-DBMS.png” (https://db-engines.com/en/ranking/graph+dbms category:graph database category:database)
- 2022年8月5日 (五) 11:00 Allen (讨论 | 贡献)上传“文件:Most-popular-databases.png” (https://db-engines.com/en/ranking category:database category:PostgreSQL category:MySQL)
- 2022年8月3日 (三) 16:23 Allen (讨论 | 贡献)上传“文件:Hierarchical-vs-networked-thinking.png” (https://docs.logseq.com/#/page/start%20here%20hierarchical-vs-networked-thinking category:knowledge management category:knowledge graph)
- 2022年8月3日 (三) 12:09 Allen (讨论 | 贡献)上传“文件:SCI-logo.png” (https://github.com/babashka/sci category:clojure category:compiler)
- 2022年8月2日 (二) 08:25 Allen (讨论 | 贡献)上传“文件:NeuroML-logo.png” (https://neuroml.org/ category:science)
- 2022年8月1日 (一) 16:26 Allen (讨论 | 贡献)上传“文件:OpenRocket-Simulation.png”的新版本 (https://openrocket.info/ category:aerospace category:science category:simulator)
- 2022年8月1日 (一) 16:24 Allen (讨论 | 贡献)上传“文件:OpenRocket-Simulation.png” (https://openrocket.info/ category:aerospace category:science category:simulator)
- 2022年8月1日 (一) 16:19 Allen (讨论 | 贡献)上传“文件:OpenRocket.png” (https://openrocket.info/ category:science category:aerospace category:simulator)
- 2022年7月31日 (日) 07:36 Allen (讨论 | 贡献)上传“文件:Openbabel-logo.png” (https://openbabel.org/wiki/Main_Page category:science category:STEM)
- 2022年7月31日 (日) 03:08 Allen (讨论 | 贡献)上传“文件:PulseRunner.png” (https://pulse.kitware.com/ category:science category:STEM)
- 2022年7月31日 (日) 03:07 Allen (讨论 | 贡献)上传“文件:PulseSystemFidelity.png” (https://pulse.kitware.com/_system_methodology.html category:science category:STEM)
- 2022年7月31日 (日) 00:24 Allen (讨论 | 贡献)上传“文件:Logseq-graph.png” (https://docs.logseq.com/ category:graph database category:knowledge management category:clojure)
- 2022年7月30日 (六) 07:44 Allen (讨论 | 贡献)上传“文件:Inviwo-screenshot.png” (https://github.com/inviwo/inviwo category:data visualization category:OpenGL category:OpenCL category:science)
- 2022年7月30日 (六) 02:35 Allen (讨论 | 贡献)上传“文件:VIAME.png” (category:computer vision category:video category:artificial intelligence)
- 2022年7月30日 (六) 02:33 Allen (讨论 | 贡献)上传“文件:ParaView.png” (category:data analysis category:data visualization category:3D )
- 2022年7月30日 (六) 02:14 Allen (讨论 | 贡献)上传“文件:ParaViewLibStack.png” (https://docs.paraview.org/en/latest/Tutorials/SelfDirectedTutorial/introduction.html category:data analysis category:data visualization category:3D)
- 2022年7月29日 (五) 03:27 Allen (讨论 | 贡献)上传“文件:CMB-overview.jpg” (https://www.computationalmodelbuilder.org/overview/ category:simulation)
- 2022年7月29日 (五) 03:26 Allen (讨论 | 贡献)上传“文件:SMTK-CMB.png” (https://www.computationalmodelbuilder.org/overview/ category:simulation)
- 2022年7月29日 (五) 03:10 Allen (讨论 | 贡献)上传“文件:VIAME-logo.png” (https://github.com/VIAME/VIAME category:computer vision category:graph category:video)
- 2022年7月28日 (四) 00:31 Allen (讨论 | 贡献)上传“文件:Mobian-logo.jpg” (category:debian category:mobile)
- 2022年7月28日 (四) 00:09 Allen (讨论 | 贡献)上传“文件:Mobian-logo.png”的新版本
- 2022年7月28日 (四) 00:05 Allen (讨论 | 贡献)上传“文件:Mobian-logo.png” (https://mobian.org/ category:debian category:mobile)
- 2022年7月27日 (三) 13:20 Allen (讨论 | 贡献)上传“文件:Fundamentals-of-physics.jpg” (category:physics category:book)
- 2022年7月25日 (一) 04:51 Allen (讨论 | 贡献)上传“文件:The-Greek-Alphabet.png-asciimath.png” (http://asciimath.org/ category:mathematics)
- 2022年7月24日 (日) 07:16 Allen (讨论 | 贡献)上传“文件:Ltp-framework.png” (http://www.ltp-cloud.com/intro category:computational linguistics category:natural language processing)
- 2022年7月18日 (一) 08:36 Allen (讨论 | 贡献)上传“文件:QtSpim.png” (http://spimsimulator.sourceforge.net/ category:qt category:simulator category:processor category:architecture)
- 2022年7月15日 (五) 01:55 Allen (讨论 | 贡献)上传“文件:Open5GCore-Architecture.png” (https://www.open5gcore.org/ category:5G)
- 2022年7月13日 (三) 10:13 Allen (讨论 | 贡献)上传“文件:STEM.jpeg” (https://twitter.com/stem_feed category:STEM category:science category:physics)
- 2022年7月11日 (一) 14:44 Allen (讨论 | 贡献)上传“文件:2022-java-developers-roadmap.jpeg” (category:java)
- 2022年7月9日 (六) 03:08 Allen (讨论 | 贡献)上传“文件:CERN-LHC.jpg” (category:seience category:physics)
- 2022年7月5日 (二) 02:53 Allen (讨论 | 贡献)上传“文件:LilyPond.png” (https://lilypond.org/ category:music)
- 2022年7月3日 (日) 03:13 Allen (讨论 | 贡献)上传“文件:Glm-logo.png” (https://github.com/g-truc/glm category:mathematics category:OpenGL)
- 2022年7月2日 (六) 09:47 Allen (讨论 | 贡献)上传“文件:Modelica-logo.png” (https://github.com/modelica/ModelicaSpecification category:model)
- 2022年7月1日 (五) 11:47 Allen (讨论 | 贡献)上传“文件:ETEngine-architecture.png” (https://github.com/Illation/ETEngine category:game engine category:c++ category:OpenGL category:3D)
- 2022年7月1日 (五) 08:59 Allen (讨论 | 贡献)上传“文件:Conan-logo.png” (https://github.com/conan-io/conan category:package category:c++ category:python)
- 2022年7月1日 (五) 04:35 Allen (讨论 | 贡献)上传“文件:The-Road-to-Reality.jpg” (category:mathematics category:physics category:book category:cognitive science category:量子力学)
- 2022年6月28日 (二) 14:36 Allen (讨论 | 贡献)上传“文件:Qosf-logo.png” (https://qosf.org/ category:量子计算)
- 2022年6月26日 (日) 10:18 Allen (讨论 | 贡献)上传“文件:Gephi-Modules.png” (category:data science category:OSINT category:java category:NetBeans)
- 2022年6月24日 (五) 08:39 Allen (讨论 | 贡献)上传“文件:Theoretical-computer-science.png” (https://en.wikipedia.org/wiki/Theoretical_computer_science category:computer science category:mathematics category:physics)
- 2022年6月16日 (四) 04:59 Allen (讨论 | 贡献)上传“文件:Geogebra-example.png” (https://www.geogebra.org/ category:mathematics category:java)
- 2022年6月13日 (一) 11:16 Allen (讨论 | 贡献)上传“文件:OpenSCAD-GUI.png” (category:CAD category:3D)
- 2022年6月13日 (一) 08:22 Allen (讨论 | 贡献)上传“文件:Ayam-gui.png” (http://ayam.sourceforge.net/ category:3D category:tcl)
- 2022年6月13日 (一) 07:49 Allen (讨论 | 贡献)上传“文件:OpenSCAD-logo.png” (https://openscad.org/ category:3D category:CAD)
- 2022年6月11日 (六) 14:49 Allen (讨论 | 贡献)上传“文件:The-Greek-Alphabet.png” (category:mathematics)
- 2022年6月10日 (五) 14:56 Allen (讨论 | 贡献)上传“文件:ATP-Process.gif” (https://www.tptp.org/Seminars/TPTPWorldTutorial/ATPProcess.html category:formal)
- 2022年6月10日 (五) 13:49 Allen (讨论 | 贡献)上传“文件:Triton-architecture.png” (https://github.com/jonathansalwan/Triton category:formal category:LLVM category:compiler)
- 2022年6月10日 (五) 12:20 Allen (讨论 | 贡献)上传“文件:SMT-Basic-Architecture.png” (https://fm.csl.sri.com/SSFT14/SSFT14-2.pdf category:formal)
- 2022年6月10日 (五) 11:37 Allen (讨论 | 贡献)上传“文件:Microsoft-tools-based-on-z3.png” (https://fm.csl.sri.com/SSFT14/SSFT14-1.pdf category:pormal category:proof assistant)
- 2022年6月10日 (五) 04:10 Allen (讨论 | 贡献)上传“文件:Acl2s-logo.jpg” (http://acl2s.ccs.neu.edu/ category:formal category:lisp category:eclipse)
- 2022年6月10日 (五) 00:20 Allen (讨论 | 贡献)上传“文件:FMCAD-logo.png” (https://fmcad.org/ category:foraml category:CAD)
- 2022年6月9日 (四) 15:24 Allen (讨论 | 贡献)上传“文件:Nasa-fm-logo.jpg” (https://shemesh.larc.nasa.gov/fm/ category:formal)
- 2022年6月9日 (四) 15:06 Allen (讨论 | 贡献)上传“文件:PVS-Architecture.png” (图片取自:https://pvs.csl.sri.com/doc/strata03-slides.pdf category:formal category:lisp)
- 2022年6月9日 (四) 05:22 Allen (讨论 | 贡献)上传“文件:KeY-Symbolic-Execution-Debugger-SED.png” (取自《Deductive Software Verification – The KeY Book From Theory to Practice》 category:formal category:eclipse )
- 2022年6月9日 (四) 03:38 Allen (讨论 | 贡献)上传“文件:KeY-JML.png” (category:formal category:java)
- 2022年6月9日 (四) 02:58 Allen (讨论 | 贡献)上传“文件:Java-Modeling-Language-JML-logo.png” (https://www.cs.ucf.edu/~leavens/JML/index.shtml category:model category:java category:eclipse)
- 2022年6月8日 (三) 13:10 Allen (讨论 | 贡献)上传“文件:CakeML-Ecosystem.png” (https://cakeml.org/ category:formal category:proof assistant category:ML)
- 2022年6月8日 (三) 09:28 Allen (讨论 | 贡献)上传“文件:HOL-family-tree.png”的新版本 (图片取自:https://hol-theorem-prover.org/hol-course.pdf category:formal category:proof assistant)
- 2022年6月8日 (三) 02:14 Allen (讨论 | 贡献)上传“文件:CHAOSS-logo.png” (https://github.com/chaoss category:data mining category:data analysis category:data science)
- 2022年6月5日 (日) 05:23 Allen (讨论 | 贡献)上传“文件:IMO-logo.png” (category:mathematics)
- 2022年6月5日 (日) 02:39 Allen (讨论 | 贡献)上传“文件:Master-Translators-on-Translation.jpeg” (category:english category:book)
- 2022年6月2日 (四) 09:00 Allen (讨论 | 贡献)上传“文件:Maxima-logo.png”的新版本
- 2022年6月1日 (三) 06:18 Allen (讨论 | 贡献)上传“文件:TensorFlow-logo.png” (category:machine learning category:deep learning category:data science category:google)
- 2022年5月26日 (四) 16:17 Allen (讨论 | 贡献)上传“文件:Erlang-logo.png” (https://github.com/erlang category:functional programming category:erlang category:concurrent computing category:actor model)
- 2022年5月26日 (四) 13:27 Allen (讨论 | 贡献)上传“文件:Æternity-hardware-wallet-payment-smart-card.jpeg” (https://twitter.com/noyyy/status/1529805562342424576 category:blockchain category:cryptocurrency)
- 2022年5月25日 (三) 11:04 Allen (讨论 | 贡献)上传“文件:D-Wave-Ocean.png” (https://www.dwavesys.com/solutions-and-products/ocean/ category:量子计算)
- 2022年5月25日 (三) 10:14 Allen (讨论 | 贡献)上传“文件:Electron-and-Photon.png” (《半导体光电子学》第3版,p274,黄德修等著 category:physics)
- 2022年5月25日 (三) 02:07 Allen (讨论 | 贡献)上传“文件:Layout-wiring-process.jpg” (https://www.synopsys.com/blogs/smart-everything/zh-cn/2020/12/digital-design-eda-tool-era-1/ category:EDA category:HDL)
- 2022年5月24日 (二) 23:32 Allen (讨论 | 贡献)上传“文件:SystemVerilog-logo.png” (https://en.wikipedia.org/wiki/SystemVerilog category:HDL category:programming language category:formal)
- 2022年5月24日 (二) 14:29 Allen (讨论 | 贡献)上传“文件:SystemC-The-Open-Modeling-Platform.png” (图片取自:https://forge.huihoo.com/attachments/download/7009/systemc-overview.pdf category:HDL category:programming language category:c++ category:model)
- 2022年5月24日 (二) 14:08 Allen (讨论 | 贡献)上传“文件:HDL-Language-Comparison.png” (图片取自《SystemC From the Ground Up 》David C. Black, Jack Donovan, Bill Bunton etc. category:HDL category:programming language)
- 2022年5月24日 (二) 11:37 Allen (讨论 | 贡献)上传“文件:O3DE-Settings.png” (category:O3DE category:game engine)
- 2022年5月24日 (二) 02:44 Allen (讨论 | 贡献)上传“文件:LEAF-logo.png” (https://bering-uclibc.zetam.org/wiki/Main_Page category:firewall category:embedded Linux category:embedded system)
- 2022年5月23日 (一) 10:26 Allen (讨论 | 贡献)上传“文件:Open-CASCADE-logo.png” (https://dev.opencascade.org/doc/overview/html/ category:CAD)
- 2022年5月23日 (一) 10:01 Allen (讨论 | 贡献)上传“文件:FreeCAD-Screenshot-01.png” (category:CAD category:robot)
- 2022年5月23日 (一) 05:54 Allen (讨论 | 贡献)上传“文件:FreeCAD-logo.png” (https://github.com/FreeCAD category:CAD)
- 2022年5月23日 (一) 02:45 Allen (讨论 | 贡献)上传“文件:Horizon-EDA.png” (https://github.com/horizon-eda/horizon category:EDA)
- 2022年5月23日 (一) 02:12 Allen (讨论 | 贡献)上传“文件:KiCost.png” (https://github.com/hildogjr/KiCost category:EDA category:CAD category:office)
- 2022年5月23日 (一) 02:10 Allen (讨论 | 贡献)上传“文件:KicadStepUp.png” (https://github.com/easyw/kicadStepUpMod/ category:EDA category:CAD)
- 2022年5月23日 (一) 01:51 Allen (讨论 | 贡献)上传“文件:Kicad-eeschema-component-options.png” (https://www.kicad.org/discover/screenshots/ category:EDA)
- 2022年5月23日 (一) 01:50 Allen (讨论 | 贡献)上传“文件:Kicad-pcbnew-design-rules.png” (https://www.kicad.org/discover/screenshots/ category:EDA)
- 2022年5月22日 (日) 12:49 Allen (讨论 | 贡献)上传“文件:Quarkus-continuum.png” (https://quarkus.io/continuum/ category:microservices category:quarkus)
- 2022年5月22日 (日) 07:46 Allen (讨论 | 贡献)上传“文件:Vert.x-logo.png” (https://github.com/vert-x3/vertx-awesome category:framework category:microservices category:eclipse category:java)
- 2022年5月22日 (日) 07:43 Allen (讨论 | 贡献)上传“文件:Eclipse-vertx-logo.png” (https://github.com/vert-x3 category:framework category:microservices category:java category:eclipse)
- 2022年5月21日 (六) 09:27 Allen (讨论 | 贡献)上传“文件:Mastodon.png” (https://github.com/mastodon/mastodon category:social network category:ruby category:rails )
- 2022年5月21日 (六) 02:51 Allen (讨论 | 贡献)上传“文件:WolfSSL-logo.png” (https://github.com/wolfssl category:TLS category:security category:embedded system category:Internet of Things)
- 2022年5月21日 (六) 01:29 Allen (讨论 | 贡献)上传“文件:Optimization-Technology.png” (图片取自《智能电网———设计与分析基础》 category:book)
- 2022年5月19日 (四) 23:40 Allen (讨论 | 贡献)上传“文件:Formal-verification-VLSI-design.png” (《Formal Verification An Essential Toolkit for Modern VLSI Design》 category:formal category:HDL)
- 2022年5月18日 (三) 11:55 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-09.jpg”的新版本
- 2022年5月18日 (三) 10:59 Allen (讨论 | 贡献)上传“文件:LibrePCB-Library-Manager.png” (https://librepcb.org/ category:EDA)
- 2022年5月18日 (三) 10:22 Allen (讨论 | 贡献)上传“文件:LibrePCB-Library-Editor.png” (https://librepcb.org/ category:EDA)
- 2022年5月18日 (三) 08:44 Allen (讨论 | 贡献)上传“文件:Ghdl-internals.png” (https://ghdl.github.io/ghdl/about.html category:HDL)
- 2022年5月18日 (三) 08:19 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-27.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:19 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-26.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:19 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-25.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:18 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-24.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:18 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-23.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:18 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-22.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:18 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-21.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:18 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-20.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:17 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-19.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:16 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-18.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:16 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-17.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:16 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-16.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:16 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-14.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:16 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-13.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:15 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-11.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:15 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-10.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:15 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-09.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:15 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-08.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:14 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-07.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:14 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-06.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:14 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-05.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:14 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-04.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:14 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-03.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book)
- 2022年5月18日 (三) 08:13 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-02.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book )
- 2022年5月18日 (三) 08:12 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry-01.jpg” (《半导体产业背后的故事》张汝京主编 category:semiconductor category:book )
- 2022年5月18日 (三) 07:49 Allen (讨论 | 贡献)上传“文件:Book-Semiconductor-Industry.jpg” (category:semiconductor category:book)
- 2022年5月18日 (三) 03:06 Allen (讨论 | 贡献)上传“文件:SystemC-logo.png” (https://systemc.org/ category:HDL category:programming language)
- 2022年5月17日 (二) 12:55 Allen (讨论 | 贡献)上传“文件:OpenFPGA-logo.png” (https://github.com/lnis-uofu/OpenFPGA category:processor category:FPGA)
- 2022年5月17日 (二) 11:59 Allen (讨论 | 贡献)上传“文件:Systemc-ams-architecture.png” (https://systemc.org/about/systemc-ams/overview/ category:c++ category:EDA category:processor category:hardware)
- 2022年5月17日 (二) 11:55 Allen (讨论 | 贡献)上传“文件:SystemC.png” (https://systemc.org/about/systemc/overview/ category:c++ category:EDA category:processor category:hardware)
- 2022年5月17日 (二) 11:09 Allen (讨论 | 贡献)上传“文件:1st-CLaaS-framework.png” (https://github.com/os-fpga/1st-CLaaS category:processor category:FPGA category:cloud computing)
- 2022年5月17日 (二) 10:07 Allen (讨论 | 贡献)上传“文件:EDA-and-IP-Design.jpg” (https://www.accellera.org/activities category:EDA)
- 2022年5月17日 (二) 07:32 Allen (讨论 | 贡献)上传“文件:F4PGA-project-structure.png” (https://f4pga.org/ category:EDA)
- 2022年5月17日 (二) 07:32 Allen (讨论 | 贡献)上传“文件:EDA-Tooling-Ecosystem.png” (https://f4pga.org/ category:EDA)
- 2022年5月17日 (二) 07:18 Allen (讨论 | 贡献)上传“文件:Ringdove-EDA-logo.png” (http://www.repo.hu/projects/ringdove/index.html category:EDA)
- 2022年5月17日 (二) 03:17 Allen (讨论 | 贡献)上传“文件:Ngspice-logo.jpg” (http://ngspice.sourceforge.net/ category:simulation category:EDA )
- 2022年5月17日 (二) 03:16 Allen (讨论 | 贡献)上传“文件:Kicad-logo-small.png” (https://www.kicad.org/ category:EDA category:CAD category:processor)
- 2022年5月17日 (二) 03:16 Allen (讨论 | 贡献)上传“文件:Kicad-logo.png” (https://www.kicad.org/ category:EDA category:CAD category:processor)
- 2022年5月16日 (一) 00:53 Allen (讨论 | 贡献)上传“文件:SDN-NFV-Security.jpg” (category:SDN category:firewall category:router category:security)
- 2022年5月15日 (日) 13:04 Allen (讨论 | 贡献)上传“文件:Qemu-logo.png” (https://en.wikipedia.org/wiki/QEMU category:virtualization category:emulator)
- 2022年5月15日 (日) 12:57 Allen (讨论 | 贡献)上传“文件:VyOS-on-GNS3.png” (https://docs.vyos.io/en/latest/installation/virtual/gns3.html category:network category:simulator category:router category:firewall )
- 2022年5月15日 (日) 04:50 Allen (讨论 | 贡献)上传“文件:Ns-3-logo.png” (https://www.nsnam.org/ category:simulator category:network)
- 2022年5月15日 (日) 04:16 Allen (讨论 | 贡献)上传“文件:GNS3-logo.png” (https://github.com/GNS3 category:network)
- 2022年5月15日 (日) 03:49 Allen (讨论 | 贡献)上传“文件:Read-the-Docs-logo.png” (https://github.com/readthedocs category:document)
- 2022年5月15日 (日) 01:53 Allen (讨论 | 贡献)上传“文件:Bookworm-eBook-reader.png” (https://babluboy.github.io/bookworm/ category:vala category:GTK category:book)
- 2022年5月15日 (日) 00:55 Allen (讨论 | 贡献)上传“文件:Internet-Marketing-168-02.jpeg” (category:m3 category:book)
- 2022年5月14日 (六) 11:44 Allen (讨论 | 贡献)上传“文件:Vala-File-Types.jpg” (图片取自《Introducing Vala Programming》A Language and Techniques to Boost Productivity category:vala category:programming language category:GTK category:GNOME)
- 2022年5月14日 (六) 11:28 Allen (讨论 | 贡献)上传“文件:Vala-hello-ui-world.png” (category:vala category:IDE category:GNOME category:GTK)
- 2022年5月14日 (六) 10:25 Allen (讨论 | 贡献)上传“文件:Vala-language.jpg” (图片取自《Introducing Vala Programming》A Language and Techniques to Boost Productivity category:vala category:programming language category:GTK category:GNOME)
- 2022年5月14日 (六) 10:12 Allen (讨论 | 贡献)上传“文件:Akira-logo.png” (https://github.com/akiraux/Akira category:IDE category:GTK category:vala)
- 2022年5月14日 (六) 08:04 Allen (讨论 | 贡献)上传“文件:Elementary-OS-logo.png” (https://elementary.io/zh_CN/ category:operating system category:GNOME category:GTK category:vala)
- 2022年5月14日 (六) 05:29 Allen (讨论 | 贡献)上传“文件:Flatpak-install-gnome-builder.png” (category:GNOME category:IDE)
- 2022年5月13日 (五) 12:54 Allen (讨论 | 贡献)上传“文件:Godot-logo.png”的新版本
- 2022年5月13日 (五) 08:16 Allen (讨论 | 贡献)上传“文件:O3DE-logo.png”的新版本
- 2022年5月13日 (五) 07:48 Allen (讨论 | 贡献)上传“文件:O3DE-logo.png” (https://github.com/o3de category:game engine category:3D)
- 2022年5月13日 (五) 07:47 Allen (讨论 | 贡献)上传“文件:Godot-logo.png” (category:2D category:game engine)
- 2022年5月13日 (五) 05:04 Allen (讨论 | 贡献)上传“文件:Eclipse-Graphical-Modeling-Framework-logo.png” (https://www.eclipse.org/gmf-runtime/ category:model category:eclipse)
- 2022年5月13日 (五) 04:03 Allen (讨论 | 贡献)上传“文件:EMF-Ecore-Java-Language-Types.gif” (https://download.eclipse.org/modeling/emf/emf/javadoc/2.9.0/org/eclipse/emf/ecore/package-summary.html category:model category:eclipse)
- 2022年5月13日 (五) 04:03 Allen (讨论 | 贡献)上传“文件:EMF-Ecore-Relations.gif” (https://download.eclipse.org/modeling/emf/emf/javadoc/2.9.0/org/eclipse/emf/ecore/package-summary.html category:model category:eclipse)
- 2022年5月13日 (五) 04:03 Allen (讨论 | 贡献)上传“文件:EMF-Ecore-Hierarchy.gif” (https://download.eclipse.org/modeling/emf/emf/javadoc/2.9.0/org/eclipse/emf/ecore/package-summary.html category:model category:eclipse)
- 2022年5月13日 (五) 03:06 Allen (讨论 | 贡献)上传“文件:Eclipse-xtext-logo.png” (http://www.eclipse.org/xtend category:DSL category:eclipse)
- 2022年5月13日 (五) 02:58 Allen (讨论 | 贡献)上传“文件:Eclipse-Modeling-Project.png” (图片取自《Eclipse Modeling Project A Domain-Specific Language (DSL) Toolkit》Richard C. Gronback category:model category:eclipse category:java category:XML category:UML)
- 2022年5月13日 (五) 02:39 Allen (讨论 | 贡献)上传“文件:EMF-unifies-Java-XML-and-UML.png” (category:model category:eclipse category:java category:XML category:UML)
- 2022年5月13日 (五) 00:47 Allen (讨论 | 贡献)上传“文件:Emacs-Application-Framework-EAF.png” (https://github.com/emacs-eaf/emacs-application-framework category:emacs category:qt category:python category:PyQt category:Emacs Lisp category:lisp)
- 2022年5月12日 (四) 16:29 Allen (讨论 | 贡献)上传“文件:Axelor-logo.png” (https://axelor.com/ category:axelor category:ERP category:CRM category:BPM category:java)
- 2022年5月12日 (四) 14:51 Allen (讨论 | 贡献)上传“文件:Quarkus-logo.png” (https://github.com/quarkusio category:MicroProfile category:microservices category:eclipse category:java)
- 2022年5月12日 (四) 10:08 Allen (讨论 | 贡献)上传“文件:Gravitee-logo.png” (https://github.com/gravitee-io category:API category:gateway category:java)
- 2022年5月12日 (四) 08:27 Allen (讨论 | 贡献)上传“文件:Aswf-landscape.png”的新版本
- 2022年5月12日 (四) 07:54 Allen (讨论 | 贡献)上传“文件:Eclipse-IoT-logo.png” (https://iot.eclipse.org/ category:Internet of Things category:eclipse)
- 2022年5月12日 (四) 03:13 Allen (讨论 | 贡献)上传“文件:Calm-your-worries.jpeg” (category:book)
- 2022年5月12日 (四) 02:58 Allen (讨论 | 贡献)上传“文件:Internet-Marketing-168.jpeg” (category:book category:m3)
- 2022年5月12日 (四) 02:29 Allen (讨论 | 贡献)上传“文件:Adobe-Alternatives.png” (category:adobe)
- 2022年5月12日 (四) 01:49 Allen (讨论 | 贡献)上传“文件:Apple-II.jpeg” (category:book)
- 2022年5月12日 (四) 01:44 Allen (讨论 | 贡献)上传“文件:Learning-GNU-Emacs.jpeg” (category:emacs category:book)
- 2022年5月12日 (四) 00:38 Allen (讨论 | 贡献)上传“文件:OpenID-Connect-OAuth20-and-SAML.png” (https://www.keycloak.org/ category:identity category:OpenID category:OAuth category:SAML category:security)
- 2022年5月12日 (四) 00:29 Allen (讨论 | 贡献)上传“文件:Keycloak-logo.png” (https://github.com/keycloak category:identity category:security category:Red Hat)
- 2022年5月11日 (三) 12:43 Allen (讨论 | 贡献)上传“文件:Openbankproject-logo.png” (https://www.openbankproject.com/ category:financial category:bank)
- 2022年5月11日 (三) 12:35 Allen (讨论 | 贡献)上传“文件:API-management-platform-01.png” (图片取自《Advanced API Security OAuth 2.0 And Beyond》 category:API category:identity category:security)
- 2022年5月11日 (三) 09:44 Allen (讨论 | 贡献)上传“文件:FIDO-Platform-and-browser-support.jpeg” (https://fidoalliance.org/overview/history/ category:identity category:security category:browser)
- 2022年5月11日 (三) 01:46 Allen (讨论 | 贡献)上传“文件:OpenSCAP-logo.png” (https://github.com/OpenSCAP category:security)
- 2022年5月10日 (二) 14:17 Allen (讨论 | 贡献)上传“文件:SDLC-SBOM.png” (https://www.nist.gov/itl/executive-order-14028-improving-nations-cybersecurity/software-security-supply-chains-software-1 category:security)
- 2022年5月10日 (二) 09:52 Allen (讨论 | 贡献)上传“文件:Security-Engineering-v3.jpg” (category:security category:book)
- 2022年5月10日 (二) 09:31 Allen (讨论 | 贡献)上传“文件:CISA-logo.png” (https://github.com/cisagov category:security)
- 2022年5月10日 (二) 08:32 Allen (讨论 | 贡献)上传“文件:Flame-Engine-logo.png” (https://github.com/flame-engine category:game engine category:flutter category:dart)
- 2022年5月10日 (二) 05:03 Allen (讨论 | 贡献)上传“文件:Greenbone.png” (https://github.com/greenbone/openvas-scanner category:security)
- 2022年5月10日 (二) 05:02 Allen (讨论 | 贡献)上传“文件:Greenbone-logo.png”的新版本
- 2022年5月10日 (二) 05:02 Allen (讨论 | 贡献)上传“文件:Greenbone-logo.png” (https://github.com/greenbone category:security)
- 2022年5月10日 (二) 01:52 Allen (讨论 | 贡献)上传“文件:Tizen-Studio.png” (category:tizen category:eclipse category:mobile category:Linux Foundation)
- 2022年5月10日 (二) 00:15 Allen (讨论 | 贡献)上传“文件:Dart-logo.png” (https://dart.dev/overview category:dart category:flutter category:programming language category:google)
- 2022年5月9日 (一) 16:15 Allen (讨论 | 贡献)上传“文件:Security-systems.png” (图片取自《Network Security, Firewalls and VPNs 3rd Edition》 category:security category:firewall category:VPN)
- 2022年5月9日 (一) 15:35 Allen (讨论 | 贡献)上传“文件:Defense-in-Depth.png” (图片取自《Network Security, Firewalls and VPNs 3rd Edition》 category:firewall category:network category:security)
- 2022年5月9日 (一) 15:23 Allen (讨论 | 贡献)上传“文件:Seven-domains-of-a-typical-IT-infrastructure.png” (图片取自《Network Security Firewalls and VPNs 3rd-Edition》 category:security category:network)
- 2022年5月9日 (一) 12:44 Allen (讨论 | 贡献)上传“文件:Flutter-logo.png” (https://flutter.dev/ category:app category:dart category:flutter)
- 2022年5月9日 (一) 12:38 Allen (讨论 | 贡献)上传“文件:Flutter-For-Tizen.png” (category:tizen category:mobile category:flutter)
- 2022年5月9日 (一) 05:12 Allen (讨论 | 贡献)上传“文件:Open-Build-Service-logo.png” (https://openbuildservice.org/ category:build automation category:collaborative software category:ruby category:rails category:perl)
- 2022年5月9日 (一) 04:55 Allen (讨论 | 贡献)上传“文件:Tizen-architecture.png”的新版本 (https://docs.tizen.org/application/ category:mobile category:.NET category:Linux Foundation)
- 2022年5月9日 (一) 03:59 Allen (讨论 | 贡献)上传“文件:Tizen-logo.png” (https://www.tizen.org/zh-hans/about/tizen-brand-guidelines category:mobile category:Linux Foundation)
- 2022年5月9日 (一) 03:35 Allen (讨论 | 贡献)上传“文件:Zephyr-Project-logo.png” (https://github.com/zephyrproject-rtos/zephyr category:real-time operating system category:embedded system category:Internet of Things category:Linux Foundation)
- 2022年5月9日 (一) 03:22 Allen (讨论 | 贡献)上传“文件:Redpesk-logo.png” (https://redpesk.bzh/ category:CentOS category:DevOps)
- 2022年5月9日 (一) 01:25 Allen (讨论 | 贡献)上传“文件:AGL-Wayland-Compositor.png” (https://docs.automotivelinux.org/en/master/#5_Component_Documentation/1_agl-compositor/ category:automotive category:qt)
- 2022年5月8日 (日) 23:56 Allen (讨论 | 贡献)上传“文件:James-joyce-books-02.jpeg” (category:book)
- 2022年5月8日 (日) 23:55 Allen (讨论 | 贡献)上传“文件:James-joyce-books-01.jpeg” (category:book)
- 2022年5月8日 (日) 05:17 Allen (讨论 | 贡献)上传“文件:Apertis-search-flow.png” (https://www.apertis.org/concepts/global-search/ category:debian category:search engine)
- 2022年5月8日 (日) 04:29 Allen (讨论 | 贡献)上传“文件:Apertis-logo.png”的新版本
- 2022年5月8日 (日) 04:10 Allen (讨论 | 贡献)上传“文件:Apertis-functional-view.png” (https://www.apertis.org/architecture/platform-guide/ category:DevOps category:operating system category:debian)
- 2022年5月8日 (日) 04:09 Allen (讨论 | 贡献)上传“文件:Apertis-infrastructure.png” (https://www.apertis.org/architecture/infrastructure-monitoring-and-testing/ category:DevOps category:operating system category:debian)
- 2022年5月8日 (日) 04:04 Allen (讨论 | 贡献)上传“文件:Apertis-logo.png” (https://www.apertis.org/ category:debian category:operating system)
- 2022年5月8日 (日) 01:11 Allen (讨论 | 贡献)上传“文件:Functions-and-Limits.png” (category:mathematics)
- 2022年5月8日 (日) 01:02 Allen (讨论 | 贡献)上传“文件:CASIO-Calculators.jpeg” (category:mathematics)
- 2022年5月7日 (六) 23:31 Allen (讨论 | 贡献)上传“文件:DANOS-logo.png” (https://github.com/danos category:debian category:router category:firewall category:operating system)
- 2022年5月7日 (六) 15:54 Allen (讨论 | 贡献)上传“文件:VyOS-logo.png” (https://github.com/vyos/ category:debian category:router category:firewall)
- 2022年5月7日 (六) 14:05 Allen (讨论 | 贡献)上传“文件:Chromium-OS-logo.png”的新版本
- 2022年5月7日 (六) 14:01 Allen (讨论 | 贡献)上传“文件:Chromium-OS-logo.png” (category:chromium category:operating system category:linux category:google)
- 2022年5月7日 (六) 09:42 Allen (讨论 | 贡献)上传“文件:Plan9-screenshot.gif” (https://9p.io/plan9/ category:operating system)
- 2022年5月7日 (六) 09:42 Allen (讨论 | 贡献)上传“文件:Plan9-spaceglenda100.gif” (https://9p.io/plan9/ category:operating system)
- 2022年5月7日 (六) 02:58 Allen (讨论 | 贡献)上传“文件:Collection-of-original-scientific-books.jpeg” (category:cognitive science)
- 2022年5月6日 (五) 14:11 Allen (讨论 | 贡献)上传“文件:Krita-logo.png”的新版本
- 2022年5月6日 (五) 14:02 Allen (讨论 | 贡献)上传“文件:Krita-logo.png”的新版本
- 2022年5月6日 (五) 11:23 Allen (讨论 | 贡献)上传“文件:Gimp-logo.png” (category:GTK)
- 2022年5月6日 (五) 11:13 Allen (讨论 | 贡献)上传“文件:Krita-logo.png”的新版本
- 2022年5月6日 (五) 11:08 Allen (讨论 | 贡献)上传“文件:Krita-logo.png” (category:graphics category:qt category:KDE)
- 2022年5月5日 (四) 15:24 Allen (讨论 | 贡献)上传“文件:Gtk-glib-gvfs-overview.png” (https://docs.gtk.org/gio/overview.html category:GTK)
- 2022年5月5日 (四) 12:42 Allen (讨论 | 贡献)上传“文件:RISC-V-logo.png” (category:architecture category:hardware)
- 2022年5月5日 (四) 10:15 Allen (讨论 | 贡献)上传“文件:PostmarketOS-logo.png” (https://postmarketos.org/ category:mobile category:qt caegory:KDE)
- 2022年5月5日 (四) 10:12 Allen (讨论 | 贡献)上传“文件:PINE64-logo.png” (https://www.pine64.org/ category:mobile)
- 2022年5月5日 (四) 09:59 Allen (讨论 | 贡献)上传“文件:Plasma-Mobile.png” (https://plasma-mobile.org/zh-cn/about/ category:qt category:mobile category:KDE)
- 2022年5月5日 (四) 09:46 Allen (讨论 | 贡献)上传“文件:GTK-and-Qt.png” (category:IDEX category:IDE category:qt category:GTK)
- 2022年5月5日 (四) 05:15 Allen (讨论 | 贡献)上传“文件:Geany-logo.png” (https://github.com/geany category:IDE category:GTK category:c programming language category:c++)
- 2022年5月5日 (四) 04:55 Allen (讨论 | 贡献)上传“文件:Glade-ui-designer.png” (https://glade.gnome.org/ category:GTK category:IDE)
- 2022年5月5日 (四) 02:01 Allen (讨论 | 贡献)上传“文件:Chaos-University-Thinking-Model.jpeg” (category:cognitive science)
- 2022年5月4日 (三) 15:31 Allen (讨论 | 贡献)上传“文件:Authentication-with-Cilium-Service-Mesh.png” (https://isovalent.com/blog/post/2022-05-03-servicemesh-security category:identity category:CA category:TLS)
- 2022年5月4日 (三) 11:54 Allen (讨论 | 贡献)上传“文件:Establishing-Innovation-Lab.jpg” (图片取自《Fintech:全球金融科技权威指南》 category:financial)
- 2022年5月4日 (三) 08:45 Allen (讨论 | 贡献)上传“文件:Eclipse-CDT-CodeBlocks.png” (category:eclipse category:c++)
- 2022年5月4日 (三) 08:40 Allen (讨论 | 贡献)上传“文件:Eclipse-CDT-Features.png” (category:eclipse category:c++)
- 2022年5月4日 (三) 05:11 Allen (讨论 | 贡献)上传“文件:Qt-Setup.png” (下载 Qt 在线安装器 https://wiki.qt.io/Main/zh category:qt)
- 2022年5月4日 (三) 02:52 Allen (讨论 | 贡献)上传“文件:Pay-ecosystem.jpg” (图片取自《Fintech:全球金融科技权威指南》 category:financial category:宽客)
- 2022年5月4日 (三) 01:42 Allen (讨论 | 贡献)上传“文件:Armbian-logo.png” (https://github.com/armbian/build category:debian category:linux category:ARM)
- 2022年5月3日 (二) 15:14 Allen (讨论 | 贡献)上传“文件:Blazor-Hybrid-in-NET7.png” (https://visualstudiomagazine.com/articles/2022/02/10/blazor-hybrid-net-7.aspx category:blazor category:.NET)
- 2022年5月3日 (二) 15:08 Allen (讨论 | 贡献)上传“文件:OData-gRPC-ASP.NET-Core.jpeg” (https://devblogs.microsoft.com/odata/tutorial-build-grpc-odata-in-asp-net-core/ category:RPC category:REST category:ASP.NET Core)
- 2022年5月3日 (二) 10:00 Allen (讨论 | 贡献)上传“文件:Low-code-data-science-future.png” (https://www.knime.com/blog/low-code-data-science-is-the-future category:data science category:machine leanring)
- 2022年5月3日 (二) 09:41 Allen (讨论 | 贡献)上传“文件:KNIME-Deeplearning4J-Integration.png” (https://github.com/knime/knime-dl4j category:data science category:machine learning)
- 2022年5月3日 (二) 05:05 Allen (讨论 | 贡献)上传“文件:Halium-logo.jpeg” (https://github.com/halium category:mobile category:andriod category:linux)
- 2022年5月3日 (二) 04:23 Allen (讨论 | 贡献)上传“文件:Halium-architecture.png” (https://halium.org/ category:mobile category:linux)
- 2022年5月3日 (二) 03:36 Allen (讨论 | 贡献)上传“文件:UBports-logo.png” (https://github.com/ubports category:mobile category:ubuntu)
- 2022年5月3日 (二) 02:56 Allen (讨论 | 贡献)上传“文件:Robolectric-logo.png” (http://robolectric.org/ category:software testing category:android)
- 2022年5月2日 (一) 15:45 Allen (讨论 | 贡献)上传“文件:Lean-Engine-logo.png” (https://github.com/QuantConnect/Lean category:量化投资 category:quant category:financial)
- 2022年5月2日 (一) 15:11 Allen (讨论 | 贡献)上传“文件:FIX-Technical-Standard-Stack.png” (https://www.fixtrading.org/standards/ category:量化投资 category:quant category:financial)
- 2022年5月2日 (一) 14:47 Allen (讨论 | 贡献)上传“文件:Fix8-logo.png” (https://github.com/fix8/fix8 category:量化投资 category:quant category:financial)
- 2022年5月2日 (一) 12:20 Allen (讨论 | 贡献)上传“文件:Meteor-Wekan.png” (https://github.com/wekan/wekan category:kanban category:scrum category:agile category:software development )
- 2022年5月2日 (一) 09:36 Allen (讨论 | 贡献)上传“文件:Gartner-Magic-Quadrant-for-Analytics-BI-2021.png” (category:business intelligence category:data analysis)
- 2022年5月2日 (一) 09:36 Allen (讨论 | 贡献)上传“文件:Gartner-Magic-Quadrant-for-Analytics-BI-2019.png” (category:business intelligence category:data analysis)
- 2022年5月2日 (一) 03:24 Allen (讨论 | 贡献)上传“文件:Ai-2018-08.png” (图片取自:https://docs.huihoo.com/ai/2018人工智能产业创新评估白皮书.pdf category:artificial intelligence)
- 2022年5月2日 (一) 03:24 Allen (讨论 | 贡献)上传“文件:Ai-2018-07.png” (图片取自:https://docs.huihoo.com/ai/2018人工智能产业创新评估白皮书.pdf category:artificial intelligence)
- 2022年5月2日 (一) 03:24 Allen (讨论 | 贡献)上传“文件:Ai-2018-06.png” (图片取自:https://docs.huihoo.com/ai/2018人工智能产业创新评估白皮书.pdf category:artificial intelligence)
- 2022年5月2日 (一) 03:24 Allen (讨论 | 贡献)上传“文件:Ai-2018-05.png” (图片取自:https://docs.huihoo.com/ai/2018人工智能产业创新评估白皮书.pdf category:artificial intelligence)
- 2022年5月2日 (一) 03:23 Allen (讨论 | 贡献)上传“文件:Ai-2018-04.png” (图片取自:https://docs.huihoo.com/ai/2018人工智能产业创新评估白皮书.pdf category:artificial intelligence)
- 2022年5月2日 (一) 03:23 Allen (讨论 | 贡献)上传“文件:Ai-2018-03.png” (图片取自:https://docs.huihoo.com/ai/2018人工智能产业创新评估白皮书.pdf category:artificial intelligence)
- 2022年5月2日 (一) 03:23 Allen (讨论 | 贡献)上传“文件:Ai-2018-02.png” (图片取自:https://docs.huihoo.com/ai/2018人工智能产业创新评估白皮书.pdf category:artificial intelligence)
- 2022年5月2日 (一) 03:22 Allen (讨论 | 贡献)上传“文件:Ai-2018-01.png” (图片取自:https://docs.huihoo.com/ai/2018人工智能产业创新评估白皮书.pdf category:artificial intelligence)
- 2022年5月2日 (一) 01:29 Allen (讨论 | 贡献)上传“文件:Citus-Data.jpeg” (https://www.citusdata.com/ category:PostgreSQL category:azure category:microsoft)
- 2022年5月1日 (日) 23:59 Allen (讨论 | 贡献)上传“文件:PKI-CA-03.png” (取自《PKICA与数字证书技术大全》 category:PKI category:CA)
- 2022年5月1日 (日) 23:58 Allen (讨论 | 贡献)上传“文件:PKI-CA-02.png” (取自《PKICA与数字证书技术大全》 category:PKI category:CA)
- 2022年5月1日 (日) 23:58 Allen (讨论 | 贡献)上传“文件:PKI-CA-01.png” (取自《PKICA与数字证书技术大全》 category:PKI category:CA)
- 2022年5月1日 (日) 23:58 Allen (讨论 | 贡献)上传“文件:PKI-CA-Module.png” (取自《PKICA与数字证书技术大全》 category:PKI category:CA)
- 2022年5月1日 (日) 16:09 Allen (讨论 | 贡献)上传“文件:Ares-upki.png” (https://pki.ares.com.tw/products/ category:PKI category:CA)
- 2022年5月1日 (日) 15:43 Allen (讨论 | 贡献)上传“文件:CA-statistics.png” (https://en.wikipedia.org/wiki/Certificate_authority category:CA category:PKI category:cryptography)
- 2022年5月1日 (日) 15:05 Allen (讨论 | 贡献)上传“文件:EJBCA-Administration.png” (https://en.wikipedia.org/wiki/EJBCA category:PKI category:CA)
- 2022年5月1日 (日) 14:14 Allen (讨论 | 贡献)上传“文件:Ejbca-logo.png” (https://www.ejbca.org/ category:PKI category:CA category:java)
- 2022年5月1日 (日) 12:31 Allen (讨论 | 贡献)上传“文件:Cryptol-logo.png” (https://galois.com/project/cryptol/ category:cryptography category:haskell)
- 2022年5月1日 (日) 05:10 Allen (讨论 | 贡献)上传“文件:Jetpack-Compose-logo.png” (https://developer.android.com/jetpack/compose category:android category:kotlin)
- 2022年5月1日 (日) 05:06 Allen (讨论 | 贡献)上传“文件:Compose-Multiplatform-logo.png” (https://www.jetbrains.com/zh-cn/lp/compose-mpp/ category:kotlin category:IDE)
- 2022年5月1日 (日) 01:17 Allen (讨论 | 贡献)上传“文件:Android-jetpack-compose-major-layers.png” (https://developer.android.com/jetpack/compose/layering category:android)
- 2022年4月30日 (六) 23:49 Allen (讨论 | 贡献)上传“文件:Seastar-logo.png” (http://seastar.io/ category:framework category:c++)
- 2022年4月30日 (六) 16:16 Allen (讨论 | 贡献)上传“文件:Exposed-logo.png” (https://github.com/JetBrains/Exposed category:DSL category:SQL category:database)
- 2022年4月30日 (六) 12:57 Allen (讨论 | 贡献)上传“文件:Eclipse-GLSP.png” (https://eclipsesource.com/blogs/2019/11/04/introducing-the-graphical-language-server-protocol-platform-eclipse-glsp/ category:model category:eclipse)
- 2022年4月30日 (六) 12:26 Allen (讨论 | 贡献)上传“文件:Eclipse-cfp.png” (https://www.eclipsecon.org/2022/cfp category:eclipse category:foundation)
- 2022年4月30日 (六) 12:09 Allen (讨论 | 贡献)上传“文件:Eclipse-Strategic-Focus-Areas.png” (https://www.eclipse.org/europe/eclipse-slide-deck.pdf category:eclipse category:foundation)
- 2022年4月30日 (六) 12:06 Allen (讨论 | 贡献)上传“文件:Eclipse-foundation-value.png” (https://www.eclipse.org/europe/eclipse-slide-deck.pdf category:eclipse category:foundation)
- 2022年4月30日 (六) 12:01 Allen (讨论 | 贡献)上传“文件:Research-at-eclipse.png” (https://www.eclipse.org/org/research/ category:eclipse)
- 2022年4月30日 (六) 09:59 Allen (讨论 | 贡献)上传“文件:RxKotlinFX.png” (https://github.com/thomasnield/RxKotlinFX category:kotlin category:JavaFX)
- 2022年4月30日 (六) 09:30 Allen (讨论 | 贡献)上传“文件:IntelliJ-Rust-logo.png” (https://github.com/intellij-rust category:IDEA category:rust)
- 2022年4月30日 (六) 07:44 Allen (讨论 | 贡献)上传“文件:Tachiyomi-logo.png” (https://github.com/tachiyomiorg category:android category:kotlin)
- 2022年4月30日 (六) 04:53 Allen (讨论 | 贡献)上传“文件:Ktor-framework.png” (https://ktor.io/docs/welcome.html category:framework category:kotlin)
- 2022年4月30日 (六) 04:44 Allen (讨论 | 贡献)上传“文件:Continuous-Delivery-2.0.jpeg” (category:continuous delivery category:DevOps category:book)
- 2022年4月30日 (六) 04:27 Allen (讨论 | 贡献)上传“文件:PyData.png” (category:data science category:data analysis category:python)
- 2022年4月30日 (六) 03:29 Allen (讨论 | 贡献)上传“文件:DeepTraffic.png” (https://selfdrivingcars.mit.edu/ category:automotive)
- 2022年4月30日 (六) 01:49 Allen (讨论 | 贡献)上传“文件:KPMG-Lighthouse-03.jpeg” (毕马威智慧之光(KPMG Lighthouse) category:data science category:big data category:artificial intelligence category:security)
- 2022年4月30日 (六) 01:49 Allen (讨论 | 贡献)上传“文件:KPMG-Lighthouse-02.jpeg” (毕马威智慧之光(KPMG Lighthouse) category:data science category:big data category:artificial intelligence category:security)
- 2022年4月30日 (六) 01:49 Allen (讨论 | 贡献)上传“文件:KPMG-Lighthouse-01.jpeg” (毕马威智慧之光(KPMG Lighthouse) category:data science category:big data category:artificial intelligence category:security)
- 2022年4月30日 (六) 01:30 Allen (讨论 | 贡献)上传“文件:20181224-06.jpeg” (user:allen 一段工作经历)
- 2022年4月30日 (六) 01:29 Allen (讨论 | 贡献)上传“文件:20181224-05.jpeg” (user:allen 一段工作经历)
- 2022年4月30日 (六) 01:28 Allen (讨论 | 贡献)上传“文件:20181224-04.jpeg” (user:allen 一段工作经历)
- 2022年4月30日 (六) 01:28 Allen (讨论 | 贡献)上传“文件:20181224-03.jpeg” (user:allen 一段工作经历)
- 2022年4月30日 (六) 01:27 Allen (讨论 | 贡献)上传“文件:20181224-02.jpeg” (user:allen 一段工作经历)
- 2022年4月30日 (六) 01:27 Allen (讨论 | 贡献)上传“文件:20181224-01.jpeg” (user:allen 一段工作经历)
- 2022年4月30日 (六) 01:02 Allen (讨论 | 贡献)上传“文件:M3-BI-04.png” (category:marketing category:data analysis)
- 2022年4月30日 (六) 01:02 Allen (讨论 | 贡献)上传“文件:M3-BI-03.png” (category:marketing category:data analysis)
- 2022年4月30日 (六) 01:01 Allen (讨论 | 贡献)上传“文件:M3-BI-02.png” (category:marketing category:data analysis)
- 2022年4月30日 (六) 01:01 Allen (讨论 | 贡献)上传“文件:M3-BI-01.png” (category:marketing category:data analysis)
- 2022年4月29日 (五) 11:40 Allen (讨论 | 贡献)上传“文件:Netflix.jpeg” (category:book)
- 2022年4月29日 (五) 11:20 Allen (讨论 | 贡献)上传“文件:Apache-Karaf-Services.png” (category:OSGi category:microservices)
分享您的观点