项目概述 A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog] 项目地址 https://github.com/rocq-community/awesome-coq...

项目概述 Audio fingerprinting and recognition in Python 项目地址 https://github.com/worldveil/dejavu 项目页面预览 关键指标 Stars：6711 主要语言：Python License：MIT License 最近更...

项目概述 A simple Python module for parsing human names into their individual components 项目地址 https://github.com/derek73/python-nameparser 项目页面预览 关键指标 Stars：699 主要...

项目概述 Simple Python version management 项目地址 https://github.com/pyenv/pyenv 项目页面预览 关键指标 Stars：44055 主要语言：Roff License：MIT License 最近更新：2026-01-15T13:10:...

项目概述 :video_game: A curated list of awesome game datasets, and tools to artificial intelligence in games 项目地址 https://github.com/leomaurodesenv/game-datasets 项目页面预览 ...

项目概述 CONTRIBUTIONS ONLY: Voluptuous, despite the name, is a Python data validation library. 项目地址 https://github.com/alecthomas/voluptuous 项目页面预览 关键指标 Stars：1848 ...

项目概述 A curated list about React Hooks 项目地址 https://github.com/glauberfc/awesome-react-hooks 项目页面预览 关键指标 Stars：1224 主要语言： License：Creative Commons Zero v1.0...

项目概述 🎮 📝 A curated list of libGDX resources to help developers make awesome games. 项目地址 https://github.com/rafaskb/awesome-libgdx 项目页面预览 关键指标 Stars：1209 主要语...

项目概述 📐 Compute distance between sequences. 30+ algorithms, pure python implementation, common interface, optional external libs usage. 项目地址 https://github.com/life4/textdi...

项目概述 🔊 Awesome list for Whisper — an open-source AI-powered speech recognition system developed by OpenAI 项目地址 https://github.com/sindresorhus/awesome-whisper 项目页面预...