欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
上传日志
下面是最近的文件上传的列表。图像概览请见新文件库。
(最后 | 最早) 查看(前100个 | 后100个)(20 | 50 | 100 | 250 | 500)- 2021年12月12日 (日) 15:05 Allen (讨论 | 贡献)上传“文件:Cardano-ada-payment-flow.png” (https://developers.cardano.org/docs/integrate-cardano/listening-for-payments-cli category:blockchain category:haskell)
- 2021年12月12日 (日) 14:32 Allen (讨论 | 贡献)上传“文件:Marlowe-DSL.jpg” (https://developers.cardano.org/docs/smart-contracts/marlowe category:blockchain category:haskell category:DSL)
- 2021年12月12日 (日) 04:22 Allen (讨论 | 贡献)上传“文件:Grin-compiler.png” (https://grin-compiler.github.io/ category:compiler category:LLVM category:haskell)
- 2021年12月10日 (五) 09:56 Allen (讨论 | 贡献)上传“文件:Compiler.png” (https://www.stephendiehl.com/llvm/ category:compiler category:LLVM)
- 2021年12月10日 (五) 07:17 Allen (讨论 | 贡献)上传“文件:Deepspec-network-boxes.png” (https://deepspec.org/page/Research/_ category:haskell category:OCaml)
- 2021年12月10日 (五) 07:17 Allen (讨论 | 贡献)上传“文件:Formal-Verification.png” (https://deepspec.org/page/Research/_ category:haskell category:OCaml)
- 2021年12月10日 (五) 07:08 Allen (讨论 | 贡献)上传“文件:Corespec.png” (https://deepspec.org/entry/Project/Haskell+CoreSpec category:haskell)
- 2021年12月10日 (五) 06:33 Allen (讨论 | 贡献)上传“文件:Monads-in-Haskell.png” (http://www.cs.nott.ac.uk/~psznhn/G53CMP/ category:haskell)
- 2021年12月10日 (五) 04:32 Allen (讨论 | 贡献)上传“文件:Inside-the-compiler.png” (http://www.cs.nott.ac.uk/~psznhn/G53CMP/ category:compiler category:haskell)
- 2021年12月9日 (四) 08:05 Allen (讨论 | 贡献)上传“文件:Fungen.gif” (https://github.com/haskell-game/fungen category:game category:haskell)
- 2021年12月8日 (三) 06:22 Allen (讨论 | 贡献)上传“文件:A-Multipurpose-Formal-RISC-V-Specification.png” (https://people.csail.mit.edu/bthom/riscv-spec.pdf [[category:RISC] [[category:haskell]])
- 2021年12月8日 (三) 00:20 Allen (讨论 | 贡献)上传“文件:Haskell-servant.png” (https://github.com/haskell-servant/servant category:haskell category:DSL)
- 2021年12月7日 (二) 14:03 Allen (讨论 | 贡献)上传“文件:Plutus-platform-architecture.png” (https://plutus-apps.readthedocs.io/en/latest/plutus/explanations/platform.html category:blockchain category:haskell)
- 2021年12月7日 (二) 09:49 Allen (讨论 | 贡献)上传“文件:PostgREST-deployment-diagram.png” (https://github.com/mattddowney/compose-postgrest category:PostgreSQL category:REST category:PostgREST)
- 2021年12月7日 (二) 08:45 Allen (讨论 | 贡献)上传“文件:Haskell-brain.png” (https://mmhaskell.com/haskell-brain category:machine learning category:haskell)
- 2021年12月7日 (二) 07:09 Allen (讨论 | 贡献)上传“文件:Wire-backend-architecture.png” (https://github.com/wireapp/wire-server category:haskell)
- 2021年12月7日 (二) 05:53 Allen (讨论 | 贡献)上传“文件:Haskell-Lens-Hierarchy.png” (https://github.com/ekmett/lens category:haskell)
- 2021年12月7日 (二) 03:16 Allen (讨论 | 贡献)上传“文件:Haskell-Typeclassopedia-diagram.png” (https://wiki.haskell.org/Typeclassopedia category:haskell)
- 2021年12月7日 (二) 02:37 Allen (讨论 | 贡献)上传“文件:Haskell-House-OS.png” (https://programatica.cs.pdx.edu//House/ [[category:operating system] [[category:haskell]])
- 2021年12月6日 (一) 11:11 Allen (讨论 | 贡献)上传“文件:Actor-and-thread.png” (https://well-typed.com/blog/68/ category:actor model category:erlang category:haskell)
- 2021年12月6日 (一) 07:54 Allen (讨论 | 贡献)上传“文件:Haskell-static-site-generators.png” (https://www.linuxlinks.com/best-free-open-source-haskell-static-site-generators/ category:haskell)
- 2021年12月5日 (日) 13:53 Allen (讨论 | 贡献)上传“文件:Haskell-GHC-lightweight-concurrency.png” (https://gitlab.haskell.org/ghc/ghc/-/wikis/lightweight-concurrency category:haskell category:compiler)
- 2021年12月5日 (日) 13:25 Allen (讨论 | 贡献)上传“文件:Cardano-architecture.png”的新版本
- 2021年12月5日 (日) 13:24 Allen (讨论 | 贡献)上传“文件:Cardano-architecture.png” (https://docs.cardano.org/explore-cardano/cardano-architecture/overview category:blockchain category:haskell)
- 2021年12月5日 (日) 11:54 Allen (讨论 | 贡献)上传“文件:Cardano-Node.png” (https://github.com/input-output-hk/cardano-node category:blockchain category:haskell)
- 2021年12月5日 (日) 11:31 Allen (讨论 | 贡献)上传“文件:LLVM-Primer.png” (category:LLVM category:compiler)
- 2021年12月5日 (日) 10:06 Allen (讨论 | 贡献)上传“文件:Haskell-ghc-runtime-system.png” (https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/rts category:haskell category:compiler)
- 2021年12月5日 (日) 08:34 Allen (讨论 | 贡献)上传“文件:Haskell-GHC-compiler-pipeline.png” (https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compiler/hsc-main category:haskell category:compiler)
- 2021年12月5日 (日) 08:33 Allen (讨论 | 贡献)上传“文件:Haskell-GHC.jpeg” (https://www.timetoast.com/timelines/compilador-1913c3bf-477f-455f-a9fe-638b3ee42291 category:haskell category:compiler)
- 2021年12月5日 (日) 06:21 Allen (讨论 | 贡献)上传“文件:Haskell-Logo.png” (category:haskell)
- 2021年12月5日 (日) 03:31 Allen (讨论 | 贡献)上传“文件:Haskell-ide.png” (https://mpickering.github.io/ide/index.html category:haskell category:IDE category:IDEX)
- 2021年12月4日 (六) 08:34 Allen (讨论 | 贡献)上传“文件:Nixos-grub.png” (category:GNU category:linux category:package)
- 2021年12月4日 (六) 07:09 Allen (讨论 | 贡献)上传“文件:Nixos-stack.png” (https://nixos.wiki/wiki/Nix_Ecosystem category:package category:haskell)
- 2021年12月4日 (六) 06:54 Allen (讨论 | 贡献)上传“文件:Stack-dependency-visualization.png” (https://docs.haskellstack.org/en/stable/dependency_visualization/ category:haskell category:package category:visualization)
- 2021年12月4日 (六) 06:39 Allen (讨论 | 贡献)上传“文件:Cabal-dark.png” (https://cabal.readthedocs.io/en/latest/index.html category:haskell category:package)
- 2021年12月4日 (六) 00:57 Allen (讨论 | 贡献)上传“文件:Haskell-logo.png” (category:haskell)
- 2021年12月3日 (五) 11:27 Allen (讨论 | 贡献)上传“文件:Postgrest-request-flow.png” (https://postgrest.org/en/v9.0/tutorials/tut0.html category:PostgreSQL category:REST category:API category:haskell)
- 2021年12月3日 (五) 01:43 Allen (讨论 | 贡献)上传“文件:Hamler-logo.png”的新版本
- 2021年12月3日 (五) 01:42 Allen (讨论 | 贡献)上传“文件:Hamler-logo.png” (https://www.hamler-lang.org/ category:haskell category:erlang)
- 2021年12月2日 (四) 08:23 Allen (讨论 | 贡献)上传“文件:Ant-Design-of-Blazor.png” (https://antblazor.com/zh-CN/docs/introduce category:.NET)
- 2021年12月2日 (四) 01:42 Allen (讨论 | 贡献)上传“文件:Hamler-lang-compiler.png” (https://www.hamler-lang.org/ category:compiler category:haskell category:erlang category:BEAM)
- 2021年12月1日 (三) 11:16 Allen (讨论 | 贡献)上传“文件:Haskell-ghcup-tui.png” (https://www.haskell.org/ghcup/ category:haskell)
- 2021年12月1日 (三) 10:38 Allen (讨论 | 贡献)上传“文件:Drone-micro-ROS-and-ROS.png” (https://micro.ros.org/docs/tutorials/demos/crazyflie_demo/ category:ROS category:DDS)
- 2021年12月1日 (三) 04:16 Allen (讨论 | 贡献)上传“文件:Elixir-credo.png” (https://github.com/rrrene/credo category:software testing category:testing category:elixir category:erlang)
- 2021年11月28日 (日) 10:02 Allen (讨论 | 贡献)上传“文件:Elixir-20190227.png” (category:elixir)
- 2021年11月28日 (日) 09:03 Allen (讨论 | 贡献)上传“文件:MongooseIM-high-level-architecture.png” (https://esl.github.io/MongooseDocs/latest/user-guide/High-level-Architecture/ category:IM category:erlang category:elixir)
- 2021年11月28日 (日) 08:28 Allen (讨论 | 贡献)上传“文件:MongooseIM-Platform-Components.png” (https://github.com/esl/MongooseIM category:IM category:erlang)
- 2021年11月28日 (日) 08:27 Allen (讨论 | 贡献)上传“文件:MongooseIM-logo.png” (https://mongooseim.readthedocs.io/en/3.1.0/ category:IM category:erlang)
- 2021年11月27日 (六) 23:12 Allen (讨论 | 贡献)上传“文件:Android-common-kernel-branching.png” (https://source.android.com/devices/architecture/kernel/android-common category:android)
- 2021年11月27日 (六) 03:41 Allen (讨论 | 贡献)上传“文件:Erlang-Rust-Eir-Project.png” (https://codesync.global/media/eir-infrastructure-for-working-with-beam-code/ https://github.com/eirproject category:compiler category:erlang category:rust )
- 2021年11月27日 (六) 02:59 Allen (讨论 | 贡献)上传“文件:Quickcheck-ci.png” (http://www.quviq.com/services/continuous-integration/ https://codesync.global/media/how-to-sleep-well-after-a-major-code-refactoring/ category:testing category:software testing category:erlang)
- 2021年11月26日 (五) 14:47 Allen (讨论 | 贡献)上传“文件:Erlang-EEP-workflow.png” (https://www.erlang.org/eeps/eep-0001 category:erlang)
- 2021年11月26日 (五) 09:55 Allen (讨论 | 贡献)上传“文件:Aeternity-keymicro.jpg” (https://github.com/aeternity/white-paper category:aeternity category:blockchain category:erlang)
- 2021年11月26日 (五) 08:50 Allen (讨论 | 贡献)上传“文件:Open-api-3-0-vs-swagger-2-0.png” (https://medium.com/@tgtshanika/open-api-3-0-vs-swagger-2-0-94a80f121022 category:API)
- 2021年11月25日 (四) 05:51 Allen (讨论 | 贡献)上传“文件:Ocaml-compiler-pipeline.png” (https://sookocheff.com/post/ocaml/the-ocaml-compiler-pipeline/ category:OCaml category:compiler)
- 2021年11月24日 (三) 03:52 Allen (讨论 | 贡献)上传“文件:Owl-architecture.png” (https://ocaml.xyz/book/architecture.html category:OCaml category:ML category:data science category:machine learning)
- 2021年11月22日 (一) 12:30 Allen (讨论 | 贡献)上传“文件:SAFE-Stack.png” (https://github.com/SAFE-Stack https://safe-stack.github.io/ category:F Sharp category:.NET)
- 2021年11月22日 (一) 09:35 Allen (讨论 | 贡献)上传“文件:Safe-component-elmish.png” (https://safe-stack.github.io/docs/component-elmish/ category:F Sharp category:.NET)
- 2021年11月22日 (一) 09:31 Allen (讨论 | 贡献)上传“文件:Safe-component-saturn.png” (category:F Sharp category:.NET)
- 2021年11月20日 (六) 13:56 Allen (讨论 | 贡献)上传“文件:FsLab.png” (https://github.com/fslaborg category:F Sharp category:.NET [[category:data science [[category:machine learning]] )
- 2021年11月19日 (五) 12:53 Allen (讨论 | 贡献)上传“文件:Nethereum-blazor.png” (http://docs.nethereum.com/en/latest/nethereum-blazor/ category:ethereum category:blockchain category:.NET )
- 2021年11月19日 (五) 12:19 Allen (讨论 | 贡献)上传“文件:Nethereum.png” (https://nethereum.com/ category:ethereum category:blockchain category:.NET)
- 2021年11月18日 (四) 13:49 Allen (讨论 | 贡献)上传“文件:Hyperledger-Besu-Architecture.png” (https://besu.hyperledger.org/en/stable/Concepts/ArchitectureOverview/ category:blockchain category:hyperledger)
- 2021年11月18日 (四) 13:44 Allen (讨论 | 贡献)上传“文件:Blockchain-business.png” (https://docs.goquorum.consensys.net/en/stable/Concepts/Blockchain/What-is-blockchain/ category:blockchain)
- 2021年11月18日 (四) 06:13 Allen (讨论 | 贡献)上传“文件:Tizen .NET.png” (https://github.com/Samsung/Tizen.NET category:.NET)
- 2021年11月18日 (四) 01:32 Allen (讨论 | 贡献)上传“文件:Clojars-system.png” (https://github.com/clojars/clojars-server-config category:clojure)
- 2021年11月16日 (二) 13:57 Allen (讨论 | 贡献)上传“文件:OPNsense-Module-plugin-Helloworld.png” (https://docs.opnsense.org/development/examples/helloworld.html category:firewall)
- 2021年11月16日 (二) 07:52 Allen (讨论 | 贡献)上传“文件:OPNsense-Architecture-Components.png” (https://docs.opnsense.org/development/architecture.html category:firewall category:FreeBSD)
- 2021年11月16日 (二) 07:23 Allen (讨论 | 贡献)上传“文件:Identityserver-signin-flow.png”的新版本
- 2021年11月16日 (二) 07:22 Allen (讨论 | 贡献)上传“文件:Identityserver-signin-flow.png” (https://docs.duendesoftware.com/identityserver/v6/fundamentals/users/ category:identity category:.NET)
- 2021年11月16日 (二) 04:43 Allen (讨论 | 贡献)上传“文件:Duende-BFF-Architecture.png” (https://docs.duendesoftware.com/identityserver/v6/bff/architecture/ category:identity category:.NET)
- 2021年11月15日 (一) 13:52 Allen (讨论 | 贡献)上传“文件:Akka.NET-IoT-Architecture.png” (https://getakka.net/articles/intro/tutorial-1.html category:actor model category:.NET)
- 2021年11月15日 (一) 11:48 Allen (讨论 | 贡献)上传“文件:BTCPay-Server.png” (https://github.com/btcpayserver/ category:bitcoin category:.NET category:C Sharp)
- 2021年11月14日 (日) 13:05 Allen (讨论 | 贡献)上传“文件:Qubes-trust-level-architecture.png” (https://www.qubes-os.org/intro/ category:operating system)
- 2021年11月14日 (日) 03:40 Allen (讨论 | 贡献)上传“文件:Infographic-Why-Wasabi-Wallet.jpeg” (https://docs.wasabiwallet.io/why-wasabi/WhyFinancialPrivacy.html category:bitcoin category:.NET)
- 2021年11月13日 (六) 12:09 Allen (讨论 | 贡献)上传“文件:MVVM-Views-ViewModels.png” (https://docs.avaloniaui.net/guides/basics/mvvm category:XAML category:.NET category:IDE)
- 2021年11月13日 (六) 09:48 Allen (讨论 | 贡献)上传“文件:AvalonStudio-dotnet6.0-debian10.png” (https://github.com/VitalElement/AvalonStudio category:IDEX category:.NET category:debian)
- 2021年11月13日 (六) 05:51 Allen (讨论 | 贡献)上传“文件:Emacs-application-framework.png” (https://github.com/emacs-eaf/emacs-application-framework category:emacs category:Emacs Lisp category:lisp)
- 2021年11月9日 (二) 04:25 Allen (讨论 | 贡献)上传“文件:Krakend-api-gateway.png” (https://www.krakend.io/docs/overview/introduction/ https://github.com/luraproject/lura category:API)
- 2021年11月9日 (二) 04:20 Allen (讨论 | 贡献)上传“文件:Krakend-keycloak-integration-workflow.png” (https://www.krakend.io/docs/authorization/keycloak/ category:keycloak category:API category:identity)
- 2021年11月7日 (日) 11:09 Allen (讨论 | 贡献)上传“文件:Transit-overview.png” (https://github.com/cognitect/transit-format category:clojure category:ClojureScript)
- 2021年11月7日 (日) 08:33 Allen (讨论 | 贡献)上传“文件:Re-frame-interceptors.png” (https://day8.github.io/re-frame/Interceptors/ category:clojure category:ClojureScript)
- 2021年11月6日 (六) 14:53 Allen (讨论 | 贡献)上传“文件:Re-frame-event-dispatch.png” (https://day8.github.io/re-frame/event-handling-infographic/ category:clojure category:ClojureScript)
- 2021年11月6日 (六) 14:53 Allen (讨论 | 贡献)上传“文件:Re-frame-handling-one-event.png” (https://day8.github.io/re-frame/event-handling-infographic/ category:clojure category:ClojureScript)
- 2021年11月6日 (六) 10:11 Allen (讨论 | 贡献)上传“文件:Keycloak-plus-clojure.png”的新版本
- 2021年11月6日 (六) 10:08 Allen (讨论 | 贡献)上传“文件:Keycloak-plus-clojure.png” (https://github.com/jgrodziski/keycloak-clojure category:identity category:keycloak category:clojure)
- 2021年10月26日 (二) 08:03 Allen (讨论 | 贡献)上传“文件:ClojureScript-love-React.png” (category:clojure category:react)
- 2021年10月26日 (二) 03:45 Allen (讨论 | 贡献)上传“文件:Java-Card-Platform-Architecture.png” (https://docs.oracle.com/en/java/javacard/3.1/guide/java-card-3-platform-architecture.html category:java category:security category:architecture )
- 2021年10月24日 (日) 01:15 Allen (讨论 | 贡献)上传“文件:Penpot-architecture.png” (https://help.penpot.app/technical-guide/architecture/ category:clojure category:ClojureScript category:react)
- 2021年10月21日 (四) 03:05 Allen (讨论 | 贡献)上传“文件:New-IA-Proposal-for-Keycloak-Admin-Console.png” (https://github.com/keycloak/keycloak-community/blob/master/design/New%20IA%20Proposal.md category:keycloak category:identity)
- 2021年10月14日 (四) 00:10 Allen (讨论 | 贡献)上传“文件:Puppeteer-Node-API.png” (https://github.com/puppeteer/puppeteer/blob/v10.4.0/docs/api.md category:chrome category:node.js category:browser)
- 2021年10月13日 (三) 10:23 Allen (讨论 | 贡献)上传“文件:Ts-jest-e2e-testing.png” (https://kulshekhar.github.io/ts-jest/docs/contributing category:testing category:TypeScript)
- 2021年10月13日 (三) 00:58 Allen (讨论 | 贡献)上传“文件:React-native-components.png” (https://reactnative.dev/docs/intro-react-native-components category:react category:mobile category:app)
- 2021年10月12日 (二) 02:57 Allen (讨论 | 贡献)上传“文件:Guigu-pm-frontend.png” (category:redmine)
- 2021年10月10日 (日) 05:12 Allen (讨论 | 贡献)上传“文件:Peertube.png” (https://github.com/Chocobozzz/PeerTube category:video category:YouTube)
- 2021年10月8日 (五) 02:19 Allen (讨论 | 贡献)上传“文件:Openproject-admin.png” (category:OpenProject)
- 2021年10月7日 (四) 01:12 Allen (讨论 | 贡献)上传“文件:Openproject-homepage.png” (category:OpenProject)
- 2021年10月5日 (二) 14:50 Allen (讨论 | 贡献)上传“文件:Openproject-branching-model.png” (https://www.openproject.org/docs/development/git-workflow/ category:OpenProject category:git)
- 2021年10月5日 (二) 13:19 Allen (讨论 | 贡献)上传“文件:Openproject-release-plan.png” (https://community.openproject.org/projects/openproject/work_packages?query_id=918 category:OpenProject category:project management category:redmine)
- 2021年9月25日 (六) 01:38 Allen (讨论 | 贡献)上传“文件:Platformio-ide-vscode.png” (https://docs.platformio.org/en/latest/integration/ide/vscode.html category:editor category:IDEX category:embedded system category:Internet of Thing)
分享您的观点