Developer

  36.3k
C/C++

Faiss

一个高效相似搜索和密集向量聚类库。「A library for efficient similarity search ...
  3.7k
编程语言、工具

Kind

现代证明语言。「A modern proof language」
MIT
JavaScript
To the top