欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
GrassyKnoll
来自开放百科 - 灰狐
GrassyKnoll: a Search Engine in Python
Highlights
- High-performance storage options: PyLucene, SQLite, DBM, Memcached
- A RESTful HTTP frontend
- Easy-to-use wire formats: JSON, HTML
- Clients in Python and Javascript
- A clean, powerful data model
- Lock-free Concurrency
- Extensive high-level and source code documentation
- A large suite of UnitTests
Links
分享您的观点
