所有star的仓库都会放在这里。可以根据需求创建不同的星选集来管理它们。
Milvus 是一款全球领先的开源向量数据库,赋能 AI 应用和向量相似度搜索,加速非结构化数据检索。
最近更新:
2天前
qemu is a generic and open source machine emulator and virtualizer.
最近更新:
4天前
这是一个五子棋实用工具网站。提供摆棋复盘、棋谱阅读、残局练习等非常实用的功能。 网站利用 Service worker 实现了离线运行的功能。你可以在浏览器中选择“添加到主屏幕”把网站添加到你的桌面。 小工具的对弈功能是用五子棋计算器(gomocalc)引擎实现的
最近更新:
25天前
下一代图-关系数据库 EdgeDB 的服务器代码镜像,交流讨论请移步【内宣】库,谢谢!
最近更新:
4个月前
Jan 是 ChatGPT 的开源替代软件,可在电脑上 100% 离线运行
最近更新:
9个月前
Z3 是来自微软研究院的的一个定理验证工具
最近更新:
9个月前
Zig 是一门开源的编程语言,专为稳定性、可维护性和最优性而设计
最近更新:
1年前
Rust 是 Rust基金会旗下的,旨在使每个人都能够构建可靠高效的软件的编程语言
最近更新:
1年前
F#是由微软发展的为微软.NET语言提供运行环境的程序设计语言,是函数编程语言(FP,Functional Programming),函数编程语言最重要的基础是Lambda Cal
最近更新:
1年前