欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
讨论:首页
| 第9行： | 第9行： | ||
我们也计划这样做，但还要对SF做更多分析，目前 http://site.huihoo.com 网址就参考 SF 分类进行整理。 | 我们也计划这样做，但还要对SF做更多分析，目前 http://site.huihoo.com 网址就参考 SF 分类进行整理。 | ||
| + | |||
| + | 我整理了SF的两层目录： | ||
| + | -- | ||
| + | Communications | ||
| + | -- | ||
| + | BBS | ||
| + | Chat | ||
| + | Conferencing | ||
| + | Email | ||
| + | Fax | ||
| + | FIDO | ||
| + | File Sharing | ||
| + | Ham Radio | ||
| + | Internet Phone | ||
| + | Streaming | ||
| + | Telephony | ||
| + | Usenet News | ||
| + | |||
| + | -- | ||
| + | Database | ||
| + | -- | ||
| + | Database Engines/Servers | ||
| + | Front-Ends | ||
| + | |||
| + | -- | ||
| + | Desktop Environment | ||
| + | -- | ||
| + | Gnome | ||
| + | K Desktop Environment (KDE) | ||
| + | Screen Savers | ||
| + | Window Managers | ||
| + | |||
| + | -- | ||
| + | Education | ||
| + | -- | ||
| + | CAI | ||
| + | Library | ||
| + | Testing | ||
| + | |||
| + | -- | ||
| + | Formats and Protocols | ||
| + | -- | ||
| + | Data Formats | ||
| + | Protocols | ||
| + | |||
| + | -- | ||
| + | Games/Entertainment | ||
| + | -- | ||
| + | Board Games | ||
| + | Card Games | ||
| + | Console-based Games | ||
| + | First Person Shooters | ||
| + | Multi-User Dungeons (MUD) | ||
| + | Puzzle Games | ||
| + | Real Time Strategy | ||
| + | Role-Playing | ||
| + | Side-Scrolling/Arcade Games | ||
| + | Simulation | ||
| + | Turn Based Strategy | ||
| + | |||
| + | -- | ||
| + | Internet | ||
| + | -- | ||
| + | File Transfer Protocol (FTP) | ||
| + | Finger | ||
| + | Log Analysis | ||
| + | Name Service (DNS) | ||
| + | WAP | ||
| + | |||
| + | -- | ||
| + | Multimedia | ||
| + | -- | ||
| + | Graphics | ||
| + | Sound/Audio | ||
| + | Video | ||
| + | |||
| + | -- | ||
| + | Office/Business | ||
| + | -- | ||
| + | Enterprise | ||
| + | Financial | ||
| + | Office Suites | ||
| + | Project Management | ||
| + | Scheduling | ||
| + | Time Tracking | ||
| + | To-Do Lists | ||
| + | |||
| + | -- | ||
| + | Other/Nonlisted Topic | ||
| + | -- | ||
| + | |||
| + | -- | ||
| + | Printing | ||
| + | -- | ||
| + | |||
| + | -- | ||
| + | Religion and Philosophy | ||
| + | -- | ||
| + | New Age | ||
| + | |||
| + | -- | ||
| + | Scientific/Engineering | ||
| + | -- | ||
| + | Artificial Intelligence | ||
| + | Astronomy | ||
| + | Bio-Informatics | ||
| + | Chemistry | ||
| + | Earth Sciences | ||
| + | Ecosystem Sciences | ||
| + | Electronic Design Automation (EDA) | ||
| + | GIS | ||
| + | Human Machine Interfaces | ||
| + | Information Analysis | ||
| + | Interface Engine/Protocol Translator | ||
| + | Mathematics | ||
| + | Medical Science Apps | ||
| + | Molecular Science | ||
| + | Physics | ||
| + | Robotics | ||
| + | Simulations | ||
| + | Visualization | ||
| + | |||
| + | -- | ||
| + | Security | ||
| + | -- | ||
| + | Cryptography | ||
| + | |||
| + | -- | ||
| + | Sociology | ||
| + | -- | ||
| + | Genealogy | ||
| + | History | ||
| + | |||
| + | -- | ||
| + | Software Development | ||
| + | -- | ||
| + | Algorithms | ||
| + | Build Tools | ||
| + | CASE | ||
| + | Code Generators | ||
| + | Compilers | ||
| + | Cross Compilers | ||
| + | Debuggers | ||
| + | Design | ||
| + | Documentation | ||
| + | Frameworks | ||
| + | I18N (Internationalization) | ||
| + | Interpreters | ||
| + | L10N (Localization) | ||
| + | Modeling | ||
| + | Object Brokering | ||
| + | Object Oriented | ||
| + | Profiling | ||
| + | Quality Assurance | ||
| + | Testing | ||
| + | Usability | ||
| + | User Interfaces | ||
| + | Version Control | ||
| + | Virtual Machines | ||
| + | |||
| + | -- | ||
| + | System | ||
| + | -- | ||
| + | Benchmark | ||
| + | Boot | ||
| + | Clustering | ||
| + | Distributed Computing | ||
| + | Emulators | ||
| + | Filesystems | ||
| + | Hardware | ||
| + | Installation/Setup | ||
| + | Logging | ||
| + | Networking | ||
| + | Operating System Kernels | ||
| + | Power (UPS) | ||
| + | Search | ||
| + | Software Distribution | ||
| + | Storage | ||
| + | Systems Administration | ||
| + | System Shells | ||
| + | |||
| + | -- | ||
| + | Terminals | ||
| + | -- | ||
| + | Serial | ||
| + | Telnet | ||
| + | Terminal Emulators/X Terminals | ||
| + | |||
| + | -- | ||
| + | Text Editors | ||
| + | -- | ||
| + | Documentation | ||
| + | Emacs | ||
| + | Integrated Development Environments (IDE) | ||
| + | Text Processing | ||
| + | Word Processors | ||
2007年3月4日 (日) 10:31的版本
大家好,我是第一次登陆,请多关照.
请求增加Rules Engine类别。
请求增加Rules Engine类别。
建议仿照SF的分类方式对所有的软件进行分类整理。
我们也计划这样做，但还要对SF做更多分析，目前 http://site.huihoo.com 网址就参考 SF 分类进行整理。
我整理了SF的两层目录： -- Communications -- BBS Chat Conferencing Email Fax FIDO File Sharing Ham Radio Internet Phone Streaming Telephony Usenet News
-- Database -- Database Engines/Servers Front-Ends
-- Desktop Environment -- Gnome K Desktop Environment (KDE) Screen Savers Window Managers
-- Education -- CAI Library Testing
-- Formats and Protocols -- Data Formats Protocols
-- Games/Entertainment -- Board Games Card Games Console-based Games First Person Shooters Multi-User Dungeons (MUD) Puzzle Games Real Time Strategy Role-Playing Side-Scrolling/Arcade Games Simulation Turn Based Strategy
-- Internet -- File Transfer Protocol (FTP) Finger Log Analysis Name Service (DNS) WAP
-- Multimedia -- Graphics Sound/Audio Video
-- Office/Business -- Enterprise Financial Office Suites Project Management Scheduling Time Tracking To-Do Lists
-- Other/Nonlisted Topic --
-- Printing --
-- Religion and Philosophy -- New Age
-- Scientific/Engineering -- Artificial Intelligence Astronomy Bio-Informatics Chemistry Earth Sciences Ecosystem Sciences Electronic Design Automation (EDA) GIS Human Machine Interfaces Information Analysis Interface Engine/Protocol Translator Mathematics Medical Science Apps Molecular Science Physics Robotics Simulations Visualization
-- Security -- Cryptography
-- Sociology -- Genealogy History
-- Software Development -- Algorithms Build Tools CASE Code Generators Compilers Cross Compilers Debuggers Design Documentation Frameworks I18N (Internationalization) Interpreters L10N (Localization) Modeling Object Brokering Object Oriented Profiling Quality Assurance Testing Usability User Interfaces Version Control Virtual Machines
-- System -- Benchmark Boot Clustering Distributed Computing Emulators Filesystems Hardware Installation/Setup Logging Networking Operating System Kernels Power (UPS) Search Software Distribution Storage Systems Administration System Shells
-- Terminals -- Serial Telnet Terminal Emulators/X Terminals
-- Text Editors -- Documentation Emacs Integrated Development Environments (IDE) Text Processing Word Processors
