欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
上传日志
下面是最近的文件上传的列表。图像概览请见新文件库。
(最后 | 最早) 查看（前50个 | 后50个）（20 | 50 | 100 | 250 | 500）- 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 (讨论 | 贡献)上传“文件:ＭinGW-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)
分享您的观点
