欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
上传日志
下面是最近的文件上传的列表。图像概览请见新文件库。
(最后 | 最早) 查看(前100个 | 后100个)(20 | 50 | 100 | 250 | 500)- 2022年2月11日 (五) 08:34 Allen (讨论 | 贡献)上传“文件:Lazarus-package-graph.png” (category:IDE category:pascal)
- 2022年2月11日 (五) 06:53 Allen (讨论 | 贡献)上传“文件:FreeBASIC.png”的新版本 (category:programming language)
- 2022年2月11日 (五) 06:04 Allen (讨论 | 贡献)上传“文件:Automated-Formal-Verification.png” (http://verify.inf.usi.ch/sites/default/files/phd_thesis_grigory_fedyukovich.pdf category:formal)
- 2022年2月11日 (五) 05:50 Allen (讨论 | 贡献)上传“文件:Lazarus-IDE.png” (https://wiki.lazarus.freepascal.org/Screenshots category:IDE category:pascal)
- 2022年2月11日 (五) 05:38 Allen (讨论 | 贡献)上传“文件:Free-Pascal-logo.gif” (https://www.freepascal.org/ category:programming language)
- 2022年2月11日 (五) 05:22 Allen (讨论 | 贡献)上传“文件:SMT-LIB-logics.png” (http://smtlib.cs.uiowa.edu/logics.shtml category:formal)
- 2022年2月11日 (五) 04:28 Allen (讨论 | 贡献)上传“文件:HOL-family-tree.png” (《Computational Logic》 by Jörg H. Siekmann p143 category:formal verification )
- 2022年2月10日 (四) 14:03 Allen (讨论 | 贡献)上传“文件:Elm-Architecture.png” (https://guide.elm-lang.org/architecture/ category:elm)
- 2022年2月10日 (四) 13:01 Allen (讨论 | 贡献)上传“文件:Elm-benchmark.png” (https://elm-lang.org/ category:elm category:angular category:react)
- 2022年2月10日 (四) 05:58 Allen (讨论 | 贡献)上传“文件:Dlang-logo.png” (category:programming language)
- 2022年2月10日 (四) 05:29 Allen (讨论 | 贡献)上传“文件:FreeBASIC.png” (https://www.freebasic.net/ category:programming language)
- 2022年2月10日 (四) 04:32 Allen (讨论 | 贡献)上传“文件:Gambas-ide-gtk3.png” (http://gambas.sourceforge.net category:programming language)
- 2022年2月10日 (四) 04:28 Allen (讨论 | 贡献)上传“文件:GNU-Pascal.png” (http://www.gnu-pascal.de/gpc/h-index.html category:programming language category:GNU)
- 2022年2月9日 (三) 10:28 Allen (讨论 | 贡献)上传“文件:Isabelle-system-architecture.png” (https://docs.huihoo.com/proof/isabelle/experiments-in-verification/session01.pdf category:isabelle category:ML category:proof assistant category:emacs)
- 2022年2月9日 (三) 09:50 Allen (讨论 | 贡献)上传“文件:Cardano-blockchain.png” (https://forum.cardano.org/t/topic/93596 category:blockchain category:haskell)
- 2022年2月9日 (三) 06:41 Allen (讨论 | 贡献)上传“文件:Input-Output.png” (https://github.com/input-output-hk category:blockchain category:haskell)
- 2022年2月9日 (三) 06:31 Allen (讨论 | 贡献)上传“文件:Racket-logo.png”的新版本
- 2022年2月9日 (三) 02:52 Allen (讨论 | 贡献)上传“文件:Cardano-logo.png” (category:blockchain category:haskell)
- 2022年2月8日 (二) 15:49 Allen (讨论 | 贡献)上传“文件:Isabelle-code-generator-architecture.png” (https://docs.huihoo.com/proof/isabelle/isabelle2021-1/docs/codegen.pdf category:proof assistant category:isabelle)
- 2022年2月8日 (二) 09:25 Allen (讨论 | 贡献)上传“文件:HOL4-Emacs.png” (https://hol-theorem-prover.org/HOL-interaction.pdf category:proof assistant category:emacs)
- 2022年2月8日 (二) 08:01 Allen (讨论 | 贡献)上传“文件:Syntax-of-propositional-logic.png” (《Handbook of Practical and Automated Reasoning》p27 category:coq category:proof Assistant category:mathematical logic)
- 2022年2月7日 (一) 15:30 Allen (讨论 | 贡献)上传“文件:Well-Typed.png” (https://well-typed.com category:haskell)
- 2022年2月7日 (一) 11:29 Allen (讨论 | 贡献)上传“文件:Calculus.png” (https://en.wikipedia.org/wiki/Calculus category:calculus category:mathematics)
- 2022年2月7日 (一) 09:47 Allen (讨论 | 贡献)上传“文件:Truth-table.png” (https://zh.wikipedia.org/wiki/%E7%9C%9F%E5%80%BC%E8%A1%A8 category:mathematical logic category:proof assistant)
- 2022年2月7日 (一) 02:35 Allen (讨论 | 贡献)上传“文件:GNAT-Studio.png” (https://github.com/AdaCore/gnatstudio category:IDE category:ada category:programming language)
- 2022年2月6日 (日) 16:06 Allen (讨论 | 贡献)上传“文件:FStar-Architecture.png” (https://fstar-lang.org/gs2021/gs2021.html#/sec-the-f--landscape category:proof assistant )
- 2022年2月6日 (日) 13:44 Allen (讨论 | 贡献)上传“文件:Fstar-lang-logo.png” (category:programming language category:proof assistant)
- 2022年2月5日 (六) 11:17 Allen (讨论 | 贡献)上传“文件:Coq-36-38.png” (category:coq category:proof assistant)
- 2022年2月5日 (六) 07:33 Allen (讨论 | 贡献)上传“文件:Isabelle-LLVM.png” (https://github.com/lammich/isabelle_llvm category:proof assistant category:LLVM)
- 2022年2月5日 (六) 06:33 Allen (讨论 | 贡献)上传“文件:Coq-logo.png” (category:coq category:proof assistant)
- 2022年2月5日 (六) 05:35 Allen (讨论 | 贡献)上传“文件:Nuprl5-FDL-diagram.png” (http://www.nuprl.org/html/NuprlSystem.html category:proof assistant)
- 2022年2月5日 (六) 02:43 Allen (讨论 | 贡献)上传“文件:Isabelle-afp.png” (https://www.isa-afp.org/ category:proof assistant )
- 2022年2月5日 (六) 02:37 Allen (讨论 | 贡献)上传“文件:Isabelle-logo.gif” (category:proof assistant)
- 2022年2月3日 (四) 13:55 Allen (讨论 | 贡献)上传“文件:Acl2-logo.png” (http://www.cs.utexas.edu/users/moore/acl2/ category:proof assistant category:lisp)
- 2022年1月26日 (三) 08:23 Allen (讨论 | 贡献)上传“文件:Replicant-logo.png” (category:android)
- 2022年1月26日 (三) 03:22 Allen (讨论 | 贡献)上传“文件:Aeternity-logo.png” (category:blockchain category:erlang )
- 2022年1月24日 (一) 09:46 Allen (讨论 | 贡献)上传“文件:McCLIM-Demos.png” (https://github.com/McCLIM/McCLIM category:IDE category:lisp)
- 2022年1月23日 (日) 12:46 Allen (讨论 | 贡献)上传“文件:Opencog-logo.png” (https://wiki.opencog.org category:artificial intelligence category:scheme )
- 2022年1月23日 (日) 11:31 Allen (讨论 | 贡献)上传“文件:Lisp-clos-mop-class-graph.png” (https://clos-mop.hexstreamsoft.com/classes/ category:lisp)
- 2022年1月23日 (日) 10:00 Allen (讨论 | 贡献)上传“文件:Gerbil-Scheme.png” (https://cons.io/ category:scheme category:programming language)
- 2022年1月23日 (日) 09:37 Allen (讨论 | 贡献)上传“文件:Lisp-badge-hand.jpg” (http://www.ulisp.com/show?2L0C category:lisp category:microcontroller category:embedded system)
- 2022年1月23日 (日) 09:37 Allen (讨论 | 贡献)上传“文件:Ulisp-logo.gif” (http://www.ulisp.com category:lisp category:microcontroller)
- 2022年1月23日 (日) 09:10 Allen (讨论 | 贡献)上传“文件:Kawa-logo.png” (https://www.gnu.org/software/kawa/ category:scheme category:JVM category:programming language)
- 2022年1月22日 (六) 16:34 Allen (讨论 | 贡献)上传“文件:Nyxt-128x128.png” (https://nyxt.atlas.engineer/ category:browser category:lisp)
- 2022年1月22日 (六) 12:52 Allen (讨论 | 贡献)上传“文件:C-logo.png”的新版本
- 2022年1月22日 (六) 12:43 Allen (讨论 | 贡献)上传“文件:C-logo.png”的新版本
- 2022年1月22日 (六) 12:42 Allen (讨论 | 贡献)上传“文件:Cpp-logo.png” (category:c++)
- 2022年1月22日 (六) 12:42 Allen (讨论 | 贡献)上传“文件:C-logo.png” (category:c programming language)
- 2022年1月22日 (六) 12:38 Allen (讨论 | 贡献)上传“文件:Emacs-lisp.png” (category:emacs category:lisp)
- 2022年1月21日 (五) 03:37 Allen (讨论 | 贡献)上传“文件:Lisp-Machine-and-Lisp-OS.png” (https://github.com/ghosthamlet/awesome-lisp-machine category:lisp category:operating system)
- 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)
分享您的观点