欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
用户贡献
(最后 | 最早) 查看（前50个 | 后50个）（20 | 50 | 100 | 250 | 500）
- 2023年8月13日 (日) 23:20 (差异 | 历史) . . （+400） . . 小 Mathematics (→简介) （最后更改）
- 2023年8月13日 (日) 15:10 (差异 | 历史) . . （+114） . . 小 Avalonia (→项目)
- 2023年8月13日 (日) 14:44 (差异 | 历史) . . （+116） . . 小 .NET (→项目)
- 2023年8月13日 (日) 13:02 (差异 | 历史) . . （+27） . . 小 赞助灰狐
- 2023年8月13日 (日) 12:54 (差异 | 历史) . . （+2） . . 小 赞助灰狐 (→感谢)
- 2023年8月5日 (六) 14:39 (差异 | 历史) . . （+183） . . 新 文件:FinGPT-Applications.png (https://medium.datadriveninvestor.com/fingpt-powering-the-future-of-finance-with-20-cutting-edge-applications-7c4d082ad3d8 category:financial category:artificial intelligence) （最后更改）
- 2023年8月5日 (六) 14:33 (差异 | 历史) . . （+108） . . 新 文件:AI4Finance-Foundation-FinGPT-Framework.png (https://github.com/AI4Finance-Foundation/FinGPT category:financial category:artificial intelligence) （最后更改）
- 2023年8月5日 (六) 14:31 (差异 | 历史) . . （+107） . . 新 文件:AI4Finance-Foundation-FinRL-Framework.jpeg (https://github.com/AI4Finance-Foundation/FinRL category:financial category:artificial intelligence) （最后更改）
- 2023年8月5日 (六) 14:20 (差异 | 历史) . . （+2） . . 小 文件:AI4Finance-Foundation-logo.jpeg （最后更改）
- 2023年8月5日 (六) 14:12 (差异 | 历史) . . （+81） . . 小 GnuCOBOL (→项目)
- 2023年8月5日 (六) 14:07 (差异 | 历史) . . （+68） . . 小 OpenEdge Advanced Business Language (→指南) （最后更改）
- 2023年8月5日 (六) 14:06 (差异 | 历史) . . （-77） . . 小 OpenEdge Advanced Business Language (→链接)
- 2023年8月5日 (六) 14:02 (差异 | 历史) . . （0） . . 小 高频交易 (→链接) （最后更改）
- 2023年8月5日 (六) 14:01 (差异 | 历史) . . （+19） . . 小 高频交易 (→链接)
- 2023年8月4日 (五) 14:32 (差异 | 历史) . . （+242） . . 小 Homebrew (→使用) （最后更改）
- 2023年8月4日 (五) 08:59 (差异 | 历史) . . （+76） . . 小 Open Provable Foundation (→简介) （最后更改）
- 2023年8月4日 (五) 03:24 (差异 | 历史) . . （+11） . . 小 GnuCash (→链接) （最后更改）
- 2023年8月4日 (五) 03:24 (差异 | 历史) . . （+23） . . 小 Financial (→链接) （最后更改）
- 2023年8月3日 (四) 23:57 (差异 | 历史) . . （+44） . . 小 Formal verification (→语言)
- 2023年8月3日 (四) 12:35 (差异 | 历史) . . （+14） . . 小 IdentityServer (→功能)
- 2023年8月3日 (四) 07:01 (差异 | 历史) . . （+15） . . 小 IdentityServer (→简介)
- 2023年8月3日 (四) 07:00 (差异 | 历史) . . （0） . . 小 IdentityServer (→简介)
- 2023年8月3日 (四) 06:59 (差异 | 历史) . . （+28） . . 小 IdentityServer (→简介)
- 2023年8月3日 (四) 06:59 (差异 | 历史) . . （+308） . . 小 IdentityServer (→简介)
- 2023年8月3日 (四) 06:55 (差异 | 历史) . . （+50） . . 小 IdentityServer (→链接)
- 2023年8月2日 (三) 07:29 (差异 | 历史) . . （-1） . . 小 IdentityServer
- 2023年8月2日 (三) 05:15 (差异 | 历史) . . （+45） . . 小 Orchard (→项目)
- 2023年8月1日 (二) 12:41 (差异 | 历史) . . （-5） . . 小 .NET Core (→图集)
- 2023年8月1日 (二) 12:39 (差异 | 历史) . . （+66） . . 小 .NET Core (→图集)
- 2023年8月1日 (二) 11:44 (差异 | 历史) . . （+60） . . 新 文件:R.NET-logo.png (https://github.com/rdotnet category:r category:.NET) （最后更改）
- 2023年8月1日 (二) 11:43 (差异 | 历史) . . （+38） . . 小 R (→项目) （最后更改）
- 2023年8月1日 (二) 11:43 (差异 | 历史) . . （+38） . . 小 .NET (→项目)
- 2023年8月1日 (二) 11:22 (差异 | 历史) . . （+67） . . 新 文件:Pythonnet-logo.png (https://github.com/pythonnet category:.NET category:python) （最后更改）
- 2023年8月1日 (二) 11:21 (差异 | 历史) . . （+44） . . 小 .NET (→项目)
- 2023年8月1日 (二) 02:37 (差异 | 历史) . . （+133） . . 小 F* (→文档) （最后更改）
- 2023年7月31日 (一) 23:12 (差异 | 历史) . . （+121） . . 小 SELinux
- 2023年7月31日 (一) 23:10 (差异 | 历史) . . （+13） . . 小 Wazuh (→项目)
- 2023年7月31日 (一) 23:09 (差异 | 历史) . . （+61） . . 小 Wazuh (→存储)
- 2023年7月31日 (一) 13:09 (差异 | 历史) . . （+87） . . 新 文件:Open-Source-Cyber-Security-Tools.png (https://cyberwarzone.com/top-25-open-source-cyber-security-tools category:security) （最后更改）
- 2023年7月31日 (一) 12:35 (差异 | 历史) . . （+240） . . 小 Wazuh (→存储)
- 2023年7月31日 (一) 06:32 (差异 | 历史) . . （+7） . . 小 Wazuh (→.NET)
- 2023年7月31日 (一) 06:31 (差异 | 历史) . . （+7） . . 小 Wazuh (→ScyllaDB)
- 2023年7月31日 (一) 02:48 (差异 | 历史) . . （-9） . . 小 Wazuh (→Cassandra)
- 2023年7月31日 (一) 02:47 (差异 | 历史) . . （+55） . . 小 Wazuh (→.NET)
- 2023年7月31日 (一) 02:45 (差异 | 历史) . . （+38） . . 小 Wazuh (→Go)
- 2023年7月31日 (一) 00:11 (差异 | 历史) . . （+49） . . 小 Wazuh (→项目)
- 2023年7月31日 (一) 00:11 (差异 | 历史) . . （-49） . . 小 Wazuh (→链接)
- 2023年7月30日 (日) 15:59 (差异 | 历史) . . （+34） . . 新 文件:AvaloniaILSpy.png (category:.NET category:GUI) （最后更改）
- 2023年7月30日 (日) 00:47 (差异 | 历史) . . （+1） . . 小 E language (→EEP) （最后更改）
- 2023年7月30日 (日) 00:46 (差异 | 历史) . . （+93） . . 小 E language (→EEP)
分享您的观点
