欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
上传日志
下面是最近的文件上传的列表。图像概览请见新文件库。
(最后 | 最早) 查看(前50个 | 后50个)(20 | 50 | 100 | 250 | 500)- 2022年2月17日 (四) 06:33 Allen (讨论 | 贡献)上传“文件:Semantic-MediaWiki-logo.png” (https://www.mediawiki.org/wiki/Extension:Semantic_MediaWiki category:MediaWiki category:Semantic Web)
- 2022年2月17日 (四) 02:22 Allen (讨论 | 贡献)上传“文件:Metamath-logo.png” (https://en.wikipedia.org/wiki/Metamath category:formal category:mathematics)
- 2022年2月16日 (三) 11:07 Allen (讨论 | 贡献)上传“文件:ACM-Logo.gif” (https://www.haskell.org/haskell-symposium/ category:programming language)
- 2022年2月16日 (三) 08:45 Allen (讨论 | 贡献)上传“文件:Mlpost.png” (http://mlpost.lri.fr/examples/misc.ml.html category:OCaml)
- 2022年2月16日 (三) 06:30 Allen (讨论 | 贡献)上传“文件:Coq-of-ocaml.png” (https://github.com/formal-land/coq-of-ocaml category:coq category:OCaml category:formal)
- 2022年2月16日 (三) 04:36 Allen (讨论 | 贡献)上传“文件:Fscq-logo.png” (http://css.csail.mit.edu/fscq/ category:formal category:coq category:file system)
- 2022年2月16日 (三) 03:35 Allen (讨论 | 贡献)上传“文件:Coq-Tezos-of-OCaml.png” (https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/ category:coq category:OCaml category:blockchain)
- 2022年2月15日 (二) 12:00 Allen (讨论 | 贡献)上传“文件:Bluespec-logo.png” (http://wiki.bluespec.com/ category:formal)
- 2022年2月15日 (二) 11:51 Allen (讨论 | 贡献)上传“文件:Kami-logo.png” (https://deepspec.org/page/Project/_ category:coq category:formal)
- 2022年2月15日 (二) 11:51 Allen (讨论 | 贡献)上传“文件:CertiCoq-logo.png” (https://deepspec.org/page/Project/_ category:coq category:formal)
- 2022年2月15日 (二) 11:50 Allen (讨论 | 贡献)上传“文件:Quickchick-logo.png” (https://deepspec.org/page/Project/_ category:coq category:formal)
- 2022年2月15日 (二) 10:14 Allen (讨论 | 贡献)上传“文件:Vellvm-logo.jpg” (https://www.cis.upenn.edu/~stevez/vellvm/ category:formal category:LLVM)
- 2022年2月15日 (二) 10:04 Allen (讨论 | 贡献)上传“文件:Ory-logo.png” (https://github.com/ory category:identity)
- 2022年2月15日 (二) 09:08 Allen (讨论 | 贡献)上传“文件:Carp-compiler-passes.png” (https://github.com/carp-lang/Carp/blob/master/docs/hacking.md category:compiler category:haskell )
- 2022年2月15日 (二) 06:54 Allen (讨论 | 贡献)上传“文件:Awesome-logo.png” (https://github.com/topics/awesome)
- 2022年2月15日 (二) 03:43 Allen (讨论 | 贡献)上传“文件:PostgREST-JWT.png” (https://postgrest.org/en/stable/auth.html category:identity category:security)
- 2022年2月15日 (二) 02:34 Allen (讨论 | 贡献)上传“文件:PostgREST-logo.png” (https://github.com/PostgREST/postgrest category:REST category:API category:PostgreSQL category:haskell)
- 2022年2月14日 (一) 11:54 Allen (讨论 | 贡献)上传“文件:MakerDAO-Maker-Protocol-System.png” (https://docs.makerdao.com/ category:blockchain)
- 2022年2月14日 (一) 11:31 Allen (讨论 | 贡献)上传“文件:MakerDAO-Dai.png” (https://makerdao.com category:blockchain)
- 2022年2月14日 (一) 10:58 Allen (讨论 | 贡献)上传“文件:Runtime-verification.png” (https://runtimeverification.com/ category:formal)
- 2022年2月14日 (一) 10:08 Allen (讨论 | 贡献)上传“文件:Automated-Reasoning.jpg” (https://www.cl.cam.ac.uk/research/hvg/ category:formal)
- 2022年2月14日 (一) 09:03 Allen (讨论 | 贡献)上传“文件:Openssf-security-scorecards.png”的新版本 (category:security)
- 2022年2月14日 (一) 09:02 Allen (讨论 | 贡献)上传“文件:Openssf-security-scorecards.png” (https://github.com/ossf/scorecard category:security)
- 2022年2月14日 (一) 09:02 Allen (讨论 | 贡献)上传“文件:OpenSSF.png” (https://github.com/ossf category:security)
- 2022年2月14日 (一) 07:03 Allen (讨论 | 贡献)上传“文件:OpenProject-Foundation-Boards.png” (https://community.openproject.org/projects/openproject/wiki/boards category:OpenProject category:foundation)
- 2022年2月14日 (一) 06:00 Allen (讨论 | 贡献)上传“文件:OpenProject-Foundation.png” (https://community.openproject.org/projects/openproject/wiki/OpenProject_Foundation category:foundation category:OpenProject)
- 2022年2月14日 (一) 04:38 Allen (讨论 | 贡献)上传“文件:OpenProject-logo.png” (https://www.openproject.org/ category:collaborative software category:project management)
- 2022年2月14日 (一) 04:06 Allen (讨论 | 贡献)上传“文件:Gitlab-logo.png” (category:GitLab category:git)
- 2022年2月14日 (一) 04:06 Allen (讨论 | 贡献)上传“文件:Gitlab-logo2.png” (category:gitlab category:git)
- 2022年2月13日 (日) 11:59 Allen (讨论 | 贡献)上传“文件:Dalmatiner-Architecture.png” (https://dalmatiner.readme.io/docs category:database category:PostgreSQL category:erlang)
- 2022年2月13日 (日) 11:47 Allen (讨论 | 贡献)上传“文件:Project-fifo.png” (https://project-fifo.net/ category:cloud computing category:erlang)
- 2022年2月13日 (日) 11:36 Allen (讨论 | 贡献)上传“文件:Leofs-datalake.jpeg” (https://leo-project.net/leofs/ category:storage)
- 2022年2月13日 (日) 07:00 Allen (讨论 | 贡献)上传“文件:Lineageos-logo.png” (https://lineageos.org/ category:android)
- 2022年2月13日 (日) 06:47 Allen (讨论 | 贡献)上传“文件:LeoFS-logo.png” (https://github.com/leo-project/leofs/ category:storage category:erlang)
- 2022年2月13日 (日) 04:11 Allen (讨论 | 贡献)上传“文件:Apache-CouchDB-logo.png” (https://couchdb.apache.org/ category:database category:NoSQL category:erlang)
- 2022年2月13日 (日) 02:34 Allen (讨论 | 贡献)上传“文件:WxWindows.png”的新版本 (https://github.com/wxWidgets/wxWidgets category:framework category:IDE category:c++)
- 2022年2月13日 (日) 01:37 Allen (讨论 | 贡献)上传“文件:Lean-logo.png” (category:proof assistant category:formal category:programming language)
- 2022年2月12日 (六) 11:37 Allen (讨论 | 贡献)上传“文件:Hifrog-architecture.png” (http://verify.inf.usi.ch/hifrog/architecture category:formal)
- 2022年2月12日 (六) 11:30 Allen (讨论 | 贡献)上传“文件:Obsproject-logo-small.png” (category:video)
- 2022年2月12日 (六) 11:23 Allen (讨论 | 贡献)上传“文件:Obsproject-logo.png” (https://obsproject.com/ category:video)
- 2022年2月12日 (六) 11:14 Allen (讨论 | 贡献)上传“文件:Shotcut-logo.png” (https://www.shotcut.org/ category:video)
- 2022年2月12日 (六) 09:25 Allen (讨论 | 贡献)上传“文件:Cardano-catalyst-02.png” (https://forum.cardano.org/t/cardano-catalyst/94169 category:cardano category:blockchain)
- 2022年2月12日 (六) 09:23 Allen (讨论 | 贡献)上传“文件:Cardano-catalyst.png” (https://forum.cardano.org/t/cardano-catalyst/94169 category:cardano category:blockchain)
- 2022年2月12日 (六) 08:32 Allen (讨论 | 贡献)上传“文件:Accelerate-logo.png” (https://github.com/AccelerateHS/accelerate category:haskell)
- 2022年2月11日 (五) 12:57 Allen (讨论 | 贡献)上传“文件:Free-Pascal-Android-LCL-Architecture.png” (https://wiki.freepascal.org/Portal:Android category:pascal category:android)
- 2022年2月11日 (五) 09:47 Allen (讨论 | 贡献)上传“文件:Lazarus-ide-options-sqldb.png” (category:IDE category:pascal)
- 2022年2月11日 (五) 09:42 Allen (讨论 | 贡献)上传“文件:Lazarus-address-book.png” (category:IDE category:pascal)
- 2022年2月11日 (五) 09:21 Allen (讨论 | 贡献)上传“文件:Lazarus-online-package-manager.png” (category:IDE category:package category:pascal)
- 2022年2月11日 (五) 09:07 Allen (讨论 | 贡献)上传“文件:Lazarus-configure-widget-type.png” (category:IDE category:pascal)
- 2022年2月11日 (五) 09:06 Allen (讨论 | 贡献)上传“文件:Lazarus-example-projects.png” (category:IDE category:pascal )
分享您的观点