欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
讨论:首页
来自开放百科 - 灰狐
大家好,我是第一次登陆,请多关照.
请求增加Rules Engine类别。
请求增加Rules Engine类别。
我们也计划这样做,但还要对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
分享您的观点