欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
上传日志
下面是最近的文件上传的列表。图像概览请见新文件库。
(最后 | 最早) 查看(前50个 | 后50个)(20 | 50 | 100 | 250 | 500)- 2022年1月20日 (四) 14:18 Allen (讨论 | 贡献)上传“文件:STklos-Scheme-Logo.png” (http://stklos.net/ category:scheme category:lisp category:programming language)
- 2022年1月20日 (四) 05:40 Allen (讨论 | 贡献)上传“文件:Coalton-type-system.png” (https://coalton-lang.github.io/reference/ category:lisp category:programming language)
- 2022年1月19日 (三) 09:47 Allen (讨论 | 贡献)上传“文件:LLVM-Logo-Derivative-4.png” (https://llvm.org/Logo.html category:LLVM category:compiler category:c++)
- 2022年1月19日 (三) 09:45 Allen (讨论 | 贡献)上传“文件:LLVM-Logo-Derivative-1.png” (https://llvm.org/Logo.html category:LLVM category:compiler category:c++)
- 2022年1月19日 (三) 09:45 Allen (讨论 | 贡献)上传“文件:DragonSmall.png” (https://llvm.org/Logo.html category:LLVM category:compiler category:c++)
- 2022年1月19日 (三) 09:38 Allen (讨论 | 贡献)上传“文件:LLVM-New-Logo.png” (https://en.wikipedia.org/wiki/LLVM category:LLVM category:compiler category:c++)
- 2022年1月18日 (二) 11:00 Allen (讨论 | 贡献)上传“文件:CHICKEN-scheme.png” (https://wiki.call-cc.org/ category:scheme category:lisp category:programming language)
- 2022年1月18日 (二) 05:57 Allen (讨论 | 贡献)上传“文件:GnuCOBOL-logo.png” (https://gnucobol.sourceforge.io/ category:COBOL category:programming language category:GNU)
- 2022年1月17日 (一) 16:11 Allen (讨论 | 贡献)上传“文件:LFE-logo-abbr-6.2.png” (https://lfe.io/ category:lisp category:erlang)
- 2022年1月17日 (一) 10:10 Allen (讨论 | 贡献)上传“文件:Gauche-devlog.png” (http://blog.practical-scheme.net/gauche/Archive/2021 category:blog category:scheme category:lisp)
- 2022年1月17日 (一) 09:54 Allen (讨论 | 贡献)上传“文件:Gauche-logo.png” (http://practical-scheme.net/gauche/ category:scheme category:lisp category:programming language)
- 2022年1月17日 (一) 07:32 Allen (讨论 | 贡献)上传“文件:Chibi-scheme.png” (https://github.com/ashinn/chibi-scheme category:scheme category:lisp category:programming language)
- 2022年1月17日 (一) 06:31 Allen (讨论 | 贡献)上传“文件:Mezzano.png” (category:operating system category:lisp)
- 2022年1月17日 (一) 02:23 Allen (讨论 | 贡献)上传“文件:Newlisp-logo-horizontal-240x100.png” (http://www.newlisp.org/ category:lisp category:programming language)
- 2022年1月17日 (一) 02:11 Allen (讨论 | 贡献)上传“文件:FuzzyLisp-design.jpg” (http://www.fuzzylisp.com/ category:lisp)
- 2022年1月16日 (日) 13:59 Allen (讨论 | 贡献)上传“文件:Openmusic-sharp.png” (https://cac-t-u-s.github.io/images/mak-tracks.png category:music category:lisp)
- 2022年1月16日 (日) 06:02 Allen (讨论 | 贡献)上传“文件:Racket-logo-100x100.png” (racket category:lisp category:scheme category:programming language)
- 2022年1月16日 (日) 05:59 Allen (讨论 | 贡献)上传“文件:Racket-logo-150x150.png” (Racket category:lisp category:scheme category:programming language)
- 2022年1月16日 (日) 02:35 Allen (讨论 | 贡献)上传“文件:Gambit-logo.png” (http://gambitscheme.org/ category:scheme category:lisp category:programming language)
- 2022年1月16日 (日) 02:08 Allen (讨论 | 贡献)上传“文件:SRFI-logo.png” (https://github.com/scheme-requests-for-implementation category:scheme category:lisp category:programming language)
- 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)
分享您的观点