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