欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Aspseek
来自开放百科 - 灰狐
您可以在Wikipedia上了解到此条目的英文信息 Aspseek Thanks, Wikipedia. |
ASPseek consists of an indexing robot, a search daemon, and a CGI search frontend. It can index as many as a few million URLs and search for words and phrases, use wildcards, and do a Boolean search. Search results can be limited to time period given, site or Web space (set of sites) and sorted by relevance (PageRank is used) or date.
ASPseek is written in C++ using the STL library, and uses mix of SQL database and binary files for storage.
分享您的观点