欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
文件列表
本特殊页面显示所有上传的文件。当按用户过滤时,只显示输入的用户最后上传的文件版本。
日期 | 名称 | 缩略图 | 大小 | 用户 | 说明 | 版本 |
---|---|---|---|---|---|---|
2024年12月19日 (四) 08:52 | The-Tale-of-Genji.png (文件) | 3.16 MB | Allen | 1 | ||
2024年12月19日 (四) 08:40 | Dear-Radiance-02.jpg (文件) | 142 KB | Allen | 1 | ||
2024年12月19日 (四) 08:40 | Dear-Radiance-01.jpg (文件) | 136 KB | Allen | 1 | ||
2024年12月17日 (二) 01:50 | Galois-unmanned-aerial-vehicles-UAV.jpg (文件) | 1.09 MB | Allen | (https://smaccmpilot.org/hardware/index.html category:DRE category:haskell) | 1 | |
2024年12月14日 (六) 03:46 | Ai-music.jpg (文件) | 129 KB | Allen | 1 | ||
2024年12月9日 (一) 00:10 | CAGED-chords-on-GUITAR.png (文件) | 505 KB | Allen | (图片取自:https://www.youtube.com/@mikegeorge360 category:music) | 1 | |
2024年12月8日 (日) 00:25 | Songwriting-with-Chord-Substitutions.png (文件) | 888 KB | Allen | (图片取自:https://www.youtube.com/@mikegeorge360 category:music ) | 1 | |
2024年12月7日 (六) 23:16 | Scales-01.png (文件) | 581 KB | Allen | (图片取自:https://www.youtube.com/@mikegeorge360 category:music) | 1 | |
2024年12月7日 (六) 12:44 | Scales.png (文件) | 663 KB | Allen | (图片取自:https://www.youtube.com/@mikegeorge360 category:music) | 1 | |
2024年12月7日 (六) 12:23 | Parallel-Modes-Work-in-Music.png (文件) | 1.06 MB | Allen | (图片取自:https://www.youtube.com/@mikegeorge360 category:music) | 1 | |
2024年12月7日 (六) 12:00 | Music-modes.png (文件) | 658 KB | Allen | (图片取自:https://www.youtube.com/@mikegeorge360 category:music) | 1 | |
2024年12月7日 (六) 11:54 | Major-minor-dim-chords.png (文件) | 705 KB | Allen | (图片取自:https://www.youtube.com/@mikegeorge360 category:music) | 1 | |
2024年12月7日 (六) 10:47 | 84-chords.png (文件) | 1.44 MB | Allen | (图片取自:https://www.youtube.com/@mikegeorge360 category:music) | 1 | |
2024年12月7日 (六) 10:43 | 6-Chord-Progressions-in-the-DORIAN-Mode.png (文件) | 426 KB | Allen | (图片取自:https://www.youtube.com/@mikegeorge360 category:music) | 1 | |
2024年12月1日 (日) 03:31 | Xone-DJ-mixers.png (文件) | 2.97 MB | Allen | (https://www.allen-heath.com/ category:DJ category:music) | 1 | |
2024年11月30日 (六) 02:14 | Vlang-ui.png (文件) | 356 KB | Allen | (category:vlang) | 1 | |
2024年11月30日 (六) 02:13 | Vlang-editor.png (文件) | 320 KB | Allen | (category:vlang) | 1 | |
2024年11月30日 (六) 02:13 | Vlang-logo.png (文件) | 9 KB | Allen | (category:vlang) | 1 | |
2024年11月30日 (六) 02:11 | Vlang-module.png (文件) | 204 KB | Allen | (category:vlang) | 1 | |
2024年11月30日 (六) 02:11 | Vlang-repl.png (文件) | 40 KB | Allen | (category:vlang) | 1 | |
2024年11月30日 (六) 02:11 | Vlang-vs-otherlanguages.png (文件) | 41 KB | Allen | (https://vlang.io/ category:vlang) | 1 | |
2024年9月29日 (日) 02:28 | PostgresSQL-connection-pooler.png (文件) | 90 KB | Allen | (https://github.com/supabase/supavisor category:mobile category:API category:REST category:PostgreSQL) | 1 | |
2024年9月29日 (日) 02:01 | Supabase-architecture.png (文件) | 33 KB | Allen | (https://supabase.com/docs/guides/getting-started/architecture category:mobile category:API category:REST category:PostgreSQL) | 1 | |
2024年9月8日 (日) 04:08 | Erlang-logo.png (文件) | 6 KB | Allen | (category:erlang) | 2 | |
2024年9月7日 (六) 09:41 | ML-programming.png (文件) | 97 KB | Allen | (https://en.wikipedia.org/wiki/ML_(programming_language) category:ML) | 1 | |
2024年9月3日 (二) 05:30 | ScyllaDB-conceptual-architecture-hybrid-option.png (文件) | 657 KB | Allen | 2 | ||
2024年8月22日 (四) 13:17 | Lego-logo.png (文件) | 12 KB | Allen | (https://docs.taler.net/system-administration/lego-certificates.html category:TLS category:CA category:go) | 1 | |
2024年8月15日 (四) 10:17 | Common-lisp-implementations.png (文件) | 351 KB | Allen | (category:lisp) | 1 | |
2024年8月12日 (一) 10:24 | Lisp-logo-120x80.png (文件) | 13 KB | Allen | (category:lisp) | 1 | |
2024年4月29日 (一) 04:01 | Guitar-fretboard.png (文件) | 80 KB | Allen | 2 | ||
2024年4月14日 (日) 02:40 | Zsxq.jpg (文件) | 45 KB | Allen | 9 | ||
2024年1月14日 (日) 13:21 | Huihoo-logo-trademark-3198632.png (文件) | 131 KB | Allen | (category:huihoo) | 1 | |
2023年12月23日 (六) 07:35 | KVMac16.jpg (文件) | 367 KB | Allen | (图片来自:https://uplab.pro/2023/11/kvm-rack-stand-for-mac-minis-kvmac16/ category:server category:mac) | 1 | |
2023年12月22日 (五) 08:18 | Huihoo-music.png (文件) | 73 KB | Allen | (category:huihoo category:music) | 1 | |
2023年8月5日 (六) 14:39 | FinGPT-Applications.png (文件) | 1.58 MB | Allen | (https://medium.datadriveninvestor.com/fingpt-powering-the-future-of-finance-with-20-cutting-edge-applications-7c4d082ad3d8 category:financial category:artificial intelligence ) | 1 | |
2023年8月5日 (六) 14:33 | AI4Finance-Foundation-FinGPT-Framework.png (文件) | 679 KB | Allen | (https://github.com/AI4Finance-Foundation/FinGPT category:financial category:artificial intelligence) | 1 | |
2023年8月5日 (六) 14:31 | AI4Finance-Foundation-FinRL-Framework.jpeg (文件) | 127 KB | Allen | (https://github.com/AI4Finance-Foundation/FinRL category:financial category:artificial intelligence) | 1 | |
2023年8月1日 (二) 11:44 | R.NET-logo.png (文件) | 3 KB | Allen | (https://github.com/rdotnet category:r category:.NET) | 1 | |
2023年8月1日 (二) 11:22 | Pythonnet-logo.png (文件) | 7 KB | Allen | (https://github.com/pythonnet category:.NET category:python) | 1 | |
2023年7月31日 (一) 13:09 | Open-Source-Cyber-Security-Tools.png (文件) | 733 KB | Allen | (https://cyberwarzone.com/top-25-open-source-cyber-security-tools category:security) | 1 | |
2023年7月30日 (日) 15:59 | AvaloniaILSpy.png (文件) | 1.41 MB | Allen | (category:.NET category:GUI) | 1 | |
2023年7月28日 (五) 08:50 | AI4Finance-Foundation-logo.jpeg (文件) | 2 KB | Allen | (https://github.com/AI4Finance-Foundation category:finance category:artificial intelligence category:machine learning) | 1 | |
2023年7月25日 (二) 02:23 | Orchard-dotnet-run-f-net7.0.jpeg (文件) | 124 KB | Allen | (category:CMS category:ASP.NET category:.NET) | 1 | |
2023年7月24日 (一) 11:32 | ReactiveProperty-MVVM.png (文件) | 150 KB | Allen | (https://github.com/runceel/ReactiveProperty category:.NET) | 1 | |
2023年7月24日 (一) 00:46 | SciSharp-STACK-logo.png (文件) | 6 KB | Allen | (https://github.com/SciSharp category:NET category:science) | 1 | |
2023年7月23日 (日) 01:47 | OmniSharp-logo.png (文件) | 8 KB | Allen | (https://github.com/OmniSharp category:editor category:.NET) | 1 | |
2023年7月22日 (六) 00:54 | AvaloniaUI-High-level-architecture-overview.png (文件) | 152 KB | Allen | (https://github.com/AvaloniaUI/Avalonia/wiki/High-level-architecture-overview category:.NET) | 1 | |
2023年7月21日 (五) 00:35 | RStudio.png (文件) | 773 KB | Allen | (category:r category:python category:data science) | 1 | |
2023年7月19日 (三) 06:17 | R-Python-Type-conversions.jpeg (文件) | 84 KB | Allen | (https://github.com/rstudio/reticulate category:r category:python) | 1 | |
2023年7月18日 (二) 13:35 | R-Interface-to-Python.jpeg (文件) | 18 KB | Allen | (https://github.com/rstudio/reticulate category:data science category:r category:python) | 1 |
首页 |
上一页 |
下一页 |
末页 |
分享您的观点