欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜: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 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