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