欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
上传日志
下面是最近的文件上传的列表。图像概览请见新文件库。
(最后 | 最早) 查看(前50个 | 后50个)(20 | 50 | 100 | 250 | 500)- 2021年12月25日 (六) 14:16 Allen (讨论 | 贡献)上传“文件:Maxima-plot3d.png” (category:mathematics category:lisp)
- 2021年12月25日 (六) 10:56 Allen (讨论 | 贡献)上传“文件:LFE-logo.png”的新版本
- 2021年12月25日 (六) 10:53 Allen (讨论 | 贡献)上传“文件:LFE-logo.png” (category:lisp category:erlang)
- 2021年12月25日 (六) 08:56 Allen (讨论 | 贡献)上传“文件:Gtoolkit-importing-cpp-blueprint-ast.png” (https://gtoolkit.com/docs/analyzing-systems/ category:smalltalk)
- 2021年12月25日 (六) 06:33 Allen (讨论 | 贡献)上传“文件:Pharo-9.0.png” (category:smalltalk)
- 2021年12月25日 (六) 01:37 Allen (讨论 | 贡献)上传“文件:Isabelle-implementation.png” (https://isabelle.in.tum.de/dist/library/Doc/Implementation/index.html category:proof assistant )
- 2021年12月25日 (六) 01:12 Allen (讨论 | 贡献)上传“文件:Isabelle-plugin-manager.png” (https://isabelle.in.tum.de/ category:proof assistant )
- 2021年12月25日 (六) 00:53 Allen (讨论 | 贡献)上传“文件:Isabelle.png” (https://isabelle.in.tum.de/ category:proof assistant )
- 2021年12月24日 (五) 03:24 Allen (讨论 | 贡献)上传“文件:AllegroGraph-Architecture.jpg” (https://allegrograph.com/products/allegrograph/ category:graph database category:lisp)
- 2021年12月23日 (四) 12:37 Allen (讨论 | 贡献)上传“文件:Woo-benchmark.png” (https://github.com/fukamachi/woo category:web server category:lisp)
- 2021年12月23日 (四) 10:16 Allen (讨论 | 贡献)上传“文件:Mathematical-object.png” (https://zh.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E5%AF%B9%E8%B1%A1 category:mathematics)
- 2021年12月23日 (四) 07:36 Allen (讨论 | 贡献)上传“文件:Mathematics-expression.png” (https://zh.wikipedia.org/wiki/%E8%A1%A8%E7%A4%BA%E5%BC%8F category:mathematics)
- 2021年12月22日 (三) 03:09 Allen (讨论 | 贡献)上传“文件:Deduction-architecture.png” (https://zh.wikipedia.org/wiki/%E5%B8%8C%E5%B0%94%E4%BC%AF%E7%89%B9%E6%BC%94%E7%BB%8E%E7%B3%BB%E7%BB%9F 涉及证明论和逻辑演算)
- 2021年12月22日 (三) 02:43 Allen (讨论 | 贡献)上传“文件:GNU-Prolog-logo.png” (http://www.gprolog.org/ category:GNU category:programming language)
- 2021年12月22日 (三) 02:23 Allen (讨论 | 贡献)上传“文件:Curry-language.png” (https://curry.pages.ps.informatik.uni-kiel.de/curry-lang.org/ category:haskell)
- 2021年12月21日 (二) 04:00 Allen (讨论 | 贡献)上传“文件:Coq-proof-assistant.png” (http://people.rennes.inria.fr/Assia.Mahboubi//slides1.pdf category:coq category:proof assistant)
- 2021年12月20日 (一) 11:49 Allen (讨论 | 贡献)上传“文件:Compcert-diagram.png” (https://compcert.org/ category:proof assistant category:coq)
- 2021年12月20日 (一) 06:14 Allen (讨论 | 贡献)上传“文件:Deepspec-logo.png” (https://deepspec.org category:proof assistant)
- 2021年12月20日 (一) 05:53 Allen (讨论 | 贡献)上传“文件:Verified-Software-Toolchain.jpg” (https://vst.cs.princeton.edu/ category:proof assistant)
- 2021年12月20日 (一) 05:48 Allen (讨论 | 贡献)上传“文件:Deepspec.png” (https://deepspec.org category:proof assistant )
- 2021年12月20日 (一) 04:30 Allen (讨论 | 贡献)上传“文件:Proof-assistant.png” (https://en.wikipedia.org/wiki/Proof_assistant category:proof assistant)
- 2021年12月19日 (日) 08:56 Allen (讨论 | 贡献)上传“文件:Cryptol-repl.png” (https://github.com/GaloisInc/cryptol category:cryptography category:haskell)
- 2021年12月19日 (日) 03:11 Allen (讨论 | 贡献)上传“文件:Port-and-Adapter-architecture.png” (图片来自:《Practical Web Development with Haskell》 category:haskell category:framework category:architecture)
- 2021年12月19日 (日) 01:23 Allen (讨论 | 贡献)上传“文件:Flrc-pipeline.png” (https://github.com/IntelLabs/flrc category:compiler category:haskell)
- 2021年12月19日 (日) 00:53 Allen (讨论 | 贡献)上传“文件:Haskus-System-Graphics-Pipeline.png” (https://docs.haskus.org/system/howto/graphics1/graphics_pipeline.html category:haskell category:graphics)
- 2021年12月19日 (日) 00:51 Allen (讨论 | 贡献)上传“文件:Haskus-System.png” (http://www.haskus.org/system category:haskell category:linux)
- 2021年12月18日 (六) 15:01 Allen (讨论 | 贡献)上传“文件:Haskell-euterpea.png” (https://www.euterpea.com/ category:music category:haskell)
- 2021年12月18日 (六) 11:21 Allen (讨论 | 贡献)上传“文件:ArrayFire.png” (https://github.com/arrayfire/arrayfire-haskell category:data science category:haskell)
- 2021年12月18日 (六) 04:08 Allen (讨论 | 贡献)上传“文件:Darcs-logo.png” (http://darcs.net/ category:revision control category:haskell)
- 2021年12月17日 (五) 12:40 Allen (讨论 | 贡献)上传“文件:Dragonegg.png” (https://dragonegg.llvm.org/ category:compiler category:LLVM category:GCC)
- 2021年12月17日 (五) 11:53 Allen (讨论 | 贡献)上传“文件:Hoogle.png” (https://hoogle.haskell.org/ category:search engine category:haskell)
- 2021年12月17日 (五) 05:49 Allen (讨论 | 贡献)上传“文件:Minio-console.png” (https://github.com/minio category:storage category:CNCF)
- 2021年12月17日 (五) 04:03 Allen (讨论 | 贡献)上传“文件:PureScript-Logo.png” (https://github.com/purescript/purescript category:compiler category:haskell category:JavaScript)
- 2021年12月17日 (五) 01:17 Allen (讨论 | 贡献)上传“文件:Integrated-Haskell-Platform-Schema.png” (category:haskell)
- 2021年12月17日 (五) 01:17 Allen (讨论 | 贡献)上传“文件:Integrated-Haskell-Platform-Generators.png” (category:haskell)
- 2021年12月16日 (四) 07:17 Allen (讨论 | 贡献)上传“文件:Write-you-a-haskell.png” (https://github.com/sdiehl/write-you-a-haskell category:haskell)
- 2021年12月16日 (四) 06:38 Allen (讨论 | 贡献)上传“文件:Plutus-language-logo.png” (category:haskell)
- 2021年12月16日 (四) 06:38 Allen (讨论 | 贡献)上传“文件:Agda-language-logo.png” (category:haskell)
- 2021年12月16日 (四) 02:47 Allen (讨论 | 贡献)上传“文件:Carp-on-arduboy.jpg” (https://github.com/carp-lang/Carp/blob/master/docs/Embedded.md category:carp category:haskell category:clojure category:embedded system)
- 2021年12月16日 (四) 02:14 Allen (讨论 | 贡献)上传“文件:Carp-lang.png” (https://github.com/carp-lang/Carp category:haskell category:game)
- 2021年12月15日 (三) 07:15 Allen (讨论 | 贡献)上传“文件:Hsfm-gtk.png” (https://github.com/hasufell/hsfm category:haskell category:GTK category:desktop environment)
- 2021年12月14日 (二) 09:17 Allen (讨论 | 贡献)上传“文件:Eta-Haskell-Compatibility.png” (https://eta-lang.org/docs/user-guides/eta-user-guide/metaprogramming/haskell-compatibility category:haskell)
- 2021年12月14日 (二) 09:12 Allen (讨论 | 贡献)上传“文件:Etalang-packages.png” (https://eta-lang.org/docs/user-guides/eta-user-guide/basics/basic-syntax category:haskell category:JVM category:java)
- 2021年12月14日 (二) 09:00 Allen (讨论 | 贡献)上传“文件:Haskell-opencv.png” (https://github.com/LumiGuide/haskell-opencv category:computer vision category:OpenCV category:haskell)
- 2021年12月14日 (二) 05:38 Allen (讨论 | 贡献)上传“文件:Dino-rush-architecture.png” (http://jxv.io/blog/2018-02-28-A-Game-in-Haskell.html category:game category:haskell)
- 2021年12月13日 (一) 14:54 Allen (讨论 | 贡献)上传“文件:Koios-architecture.png” (https://api.koios.rest category:blockchain category:cardano category:API category:REST)
- 2021年12月13日 (一) 10:40 Allen (讨论 | 贡献)上传“文件:Jupyter-haskell.png” (https://github.com/gibiansky/IHaskell category:data science category:haskell category:jupyter)
- 2021年12月13日 (一) 10:08 Allen (讨论 | 贡献)上传“文件:Haskell-logo2.png” (category:haskell)
- 2021年12月13日 (一) 08:29 Allen (讨论 | 贡献)上传“文件:Cardano-Ethereum-Bitcoin.png” (https://docs.adafinance.io/introduction/coming-on-cardano category:blockchain category:cardano category:ethereum category:bitcoin)
- 2021年12月13日 (一) 07:55 Allen (讨论 | 贡献)上传“文件:Cardano-ecosystem.jpg” (https://forum.cardano.org/t/topic/86921 category:blockchain category:haskell)
分享您的观点