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