Oh I forget to add stract is using tantivy too, I really hope this project will take off.

https://stract.com/

https://github.com/StractOrg/stract

https://news.ycombinator.com/item?id=39254172