欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Namazu
来自开放百科 - 灰狐
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
分享您的观点
