欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell

下面是最近的文件上传的列表。图像概览请见新文件库。

• 2022年1月16日 (日) 01:52 Allen (讨论 | 贡献)上传“文件:Scheme-total-SRFIs.png” (https://srfi.schemers.org/about.html category:scheme category:lisp category:programming language)
• 2022年1月15日 (六) 03:07 Allen (讨论 | 贡献)上传“文件:Lambdachip-logo.png” (https://lambdachip.com category:scheme category:embedded system)
• 2022年1月15日 (六) 03:03 Allen (讨论 | 贡献)上传“文件:Lambdachip-laco-compiler.png” (https://lambdachip.com/articles/docs/2 category:scheme category:lisp category:compiler category:embedded system)
• 2022年1月14日 (五) 13:32 Allen (讨论 | 贡献)上传“文件:100gnu-freedom-linux-libre.png” (https://www.fsfla.org/ikiwiki/selibre/linux-libre/ category:GNU category:linux)
• 2022年1月14日 (五) 09:53 Allen (讨论 | 贡献)上传“文件:GNU-Guile.png” (category:programming language category:scheme category:GNU)
• 2022年1月13日 (四) 04:26 Allen (讨论 | 贡献)上传“文件:Scylla-k8s-operator.png” (https://www.scylladb.com/media-kit/ category:database category:kubernetes)
• 2022年1月13日 (四) 04:11 Allen (讨论 | 贡献)上传“文件:ScyllaDB-logo.jpg” (category:NoSQL category:database)
• 2022年1月13日 (四) 04:00 Allen (讨论 | 贡献)上传“文件:Scylla-Server-Architecture.png” (https://www.scylladb.com/product/technology/ category:database category:big data category:NoSQL)
• 2022年1月13日 (四) 03:59 Allen (讨论 | 贡献)上传“文件:Scylla-Data-Architecture.png” (https://www.scylladb.com/product/technology/ category:database category:big data category:NoSQL)
• 2022年1月13日 (四) 03:59 Allen (讨论 | 贡献)上传“文件:Scylla-Ring-Architecture.png” (https://www.scylladb.com/product/technology/ category:database category:big data category:NoSQL)
• 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)
• 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 )