欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Namazu
来自开放百科 - 灰狐
（版本间的差异）
| 第3行： | 第3行： | ||
(The Japanese word `Namazu' means `catfish' in English.) | (The Japanese word `Namazu' means `catfish' in English.) | ||
| − | GNU GPL, Language: | + | GNU GPL, Language: C, Perl, Lisp |
http://www.namazu.org/index.html.en | http://www.namazu.org/index.html.en | ||
2008年4月27日 (日) 00:54的版本
Namazu is a full-text search engine intended for easy use. Not only does it work as a small or medium scale Web search engine, but also as a personal search system for email or other files.
(The Japanese word `Namazu' means `catfish' in English.)
GNU GPL, Language: C, Perl, Lisp
分享您的观点
