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