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