欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
上传日志
下面是最近的文件上传的列表。图像概览请见新文件库。
(最后 | 最早) 查看(前20个 | 后20个)(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)
分享您的观点