欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
上传日志
下面是最近的文件上传的列表。图像概览请见新文件库。
(最后 | 最早) 查看(前20个 | 后20个)(20 | 50 | 100 | 250 | 500)- 2022年1月13日 (四) 03:59 Allen (讨论 | 贡献)上传“文件:Scylla-Storage-Architecture.png” (https://www.scylladb.com/product/technology/ category:database category:big data category:NoSQL)
- 2022年1月9日 (日) 13:23 Allen (讨论 | 贡献)上传“文件:Racket-video.png” (https://lang.video/pub/icfp2017/slides.pdf category:racket category:DSL category:video)
- 2022年1月8日 (六) 09:32 Allen (讨论 | 贡献)上传“文件:Fortranwiki.png” (https://fortranwiki.org category:fortran category:programming language)
- 2022年1月8日 (六) 09:08 Allen (讨论 | 贡献)上传“文件:Fortran-logo.png” (category:fortran category:programming language)
- 2022年1月8日 (六) 07:11 Allen (讨论 | 贡献)上传“文件:Gtk-fortran-logo.png” (https://github.com/vmagnin/gtk-fortran/wiki category:GTK category:fortran)
- 2022年1月6日 (四) 09:20 Allen (讨论 | 贡献)上传“文件:Mindsdb.png” (https://github.com/mindsdb/mindsdb category:artificial intelligence category:machine learning category:database category:python )
- 2022年1月5日 (三) 12:41 Allen (讨论 | 贡献)上传“文件:Mandelbulber.png” (https://github.com/buddhi1980/mandelbulber2 category:qt category:c++ category:graphic)
- 2022年1月5日 (三) 02:17 Allen (讨论 | 贡献)上传“文件:Unikernel-mirage-os.png” (https://en.wikipedia.org/wiki/Unikernel https://github.com/mirage category:operating system category:OCaml)
- 2021年12月30日 (四) 13:27 Allen (讨论 | 贡献)上传“文件:Alpaca-language.png” (https://github.com/alpaca-lang category:programming language category:ML category:erlang)
- 2021年12月30日 (四) 08:38 Allen (讨论 | 贡献)上传“文件:ChickBlog-with-Coq.png” (https://github.com/clarus/coq-chick-blog category:proof assistant category:coq category:blog)
- 2021年12月29日 (三) 04:11 Allen (讨论 | 贡献)上传“文件:Viper.png” (https://www.pm.inf.ethz.ch/research/viper.html category:proof assistant)
- 2021年12月28日 (二) 09:24 Allen (讨论 | 贡献)上传“文件:Powered-by-coleslaw-small.jpg” (category:lisp category:blog)
- 2021年12月28日 (二) 08:29 Allen (讨论 | 贡献)上传“文件:Powered-by-coleslaw.jpeg” (https://github.com/coleslaw-org/coleslaw category:lisp category:blog)
- 2021年12月28日 (二) 07:16 Allen (讨论 | 贡献)上传“文件:Made-with-lisp.jpg” (https://www.adamtornhill.com/ category:lisp category:web server)
- 2021年12月28日 (二) 04:38 Allen (讨论 | 贡献)上传“文件:Lisp-logo.png” (category:lisp category:programming language)
- 2021年12月27日 (一) 11:32 Allen (讨论 | 贡献)上传“文件:Common-lisp-type-hierarchy-portion.png” (取自《COMMON LISP: A Gentle Introduction to Symbolic Computation》 category:lisp)
- 2021年12月27日 (一) 11:30 Allen (讨论 | 贡献)上传“文件:Common-lisp-type-hierarchy.png” (https://sellout.github.io/media/CL-type-hierarchy.png category:lisp)
- 2021年12月27日 (一) 07:58 Allen (讨论 | 贡献)上传“文件:Gnu-guix.png” (category:GNU category:operating system)
- 2021年12月26日 (日) 01:22 Allen (讨论 | 贡献)上传“文件:Cognitive-science-heptagram.png” (https://zh.wikipedia.org/wiki/%E8%AE%A4%E7%9F%A5%E7%A7%91%E5%AD%A6 category:proof assistant)
- 2021年12月25日 (六) 15:38 Allen (讨论 | 贡献)上传“文件:WxMaxima.png” (category:wxWidgets category:mathematics category:lisp)
分享您的观点