欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
上传日志
下面是最近的文件上传的列表。图像概览请见新文件库。
(最后 | 最早) 查看(前250个 | 后250个)(20 | 50 | 100 | 250 | 500)- 2024年4月25日 (四) 16:17 Allen (讨论 | 贡献)上传“文件:Guitar-fretboard.png” (category:music)
- 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)
分享您的观点