欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：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的两层目录： | 我整理了SF的两层目录： | ||
-- | -- | ||
| − | Communications | + | *Communications |
| − | + | **BBS | |
| − | BBS | + | **Chat |
| − | Chat | + | **Conferencing |
| − | Conferencing | + | **Email |
| − | Email | + | **Fax |
| − | Fax | + | **FIDO |
| − | FIDO | + | **File Sharing |
| − | File Sharing | + | **Ham Radio |
| − | Ham Radio | + | **Internet Phone |
| − | Internet Phone | + | **Streaming |
| − | Streaming | + | ****Telephony |
| − | Telephony | + | **Usenet News |
| − | Usenet News | + | |
| − | + | *Database | |
| − | Database | + | **Database Engines/Servers |
| − | + | **Front-Ends | |
| − | 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 | |
| − | Design | + | **Information Analysis |
| − | + | **Interface Engine/Protocol Translator | |
| − | + | **Mathematics | |
| − | + | **Medical Science Apps | |
| − | + | **Molecular Science | |
| − | + | **Physics | |
| − | + | **Robotics | |
| − | + | **Simulations | |
| − | + | **Visualization | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | + | *Security | |
| − | + | **Cryptography | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | Text Editors | + | *Sociology |
| − | + | **Genealogy | |
| − | Documentation | + | **History |
| − | Emacs | + | |
| − | Integrated Development Environments (IDE) | + | |
| − | Text Processing | + | *Software Development |
| − | Word Processors | + | **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:37的版本
大家好,我是第一次登陆,请多关照.
请求增加Rules Engine类别。
请求增加Rules Engine类别。
建议仿照SF的分类方式对所有的软件进行分类整理。
我们也计划这样做，但还要对SF做更多分析，目前 http://site.huihoo.com 网址就参考 SF 分类进行整理。
我整理了SF的两层目录：
--
- Communications
- BBS
- Chat
- Conferencing
- 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
分享您的观点
