1. 很棒的公鸡
资源/书籍
- Computer Arithmetic and Formal Proofs – 描述如何使用 Flocq 库在 Coq 中正式指定和验证浮点算法的书。
2. 很棒的数据库工具
图形用户界面
- Antares SQL (⭐1.9k) – 一款现代、快速、生产力驱动的 SQL 客户端，重点关注用户体验。适用于 Mac、Linux 和 Windows。
SQL/格式化程序
- SQL Online – 一个免费工具，用于格式化 SQL 查询，然后为分析师提供内容。
论文/比较
- Grokking 关系数据库设计– 一个友好的图解指南，用于设计和实现您的第一个数据库。
3. 很棒的 Neovim
片段/诊断
- echasnovski/mini.nvim#mini.snippets (⭐5.6k) – 用于管理和扩展片段的
mini.nvim模块。支持LSP片段语法、灵活的加载器、模糊前缀匹配、交互式选择、具有丰富可视化的片段会话等等。
实用程序/诊断
- cxwx/lazyUrlUpdate.nvim (⭐2) – 通过
lazy.nvim更新光标下的插件。
4. 很棒的角度
HTTP/ Google 开发专家
- ngs-request-tracker (⭐1) – 用于跟踪、存储和显示所有 HTTP 请求统计信息的库。
国际化/ Google 开发者专家
- ngs-plural (⭐1) – 一个轻量级的 Angular 库，用于使用管道和服务处理不同语言的复数。它简化了基于数字计数生成语法正确的复数形式的过程，并支持自定义语言规则。
其他组件/ Google 开发专家
- ngs-json-utils (⭐1) – 用于 Angular 应用程序的轻量级实用程序库，提供易于使用的函数来处理 JSON 对象。它包括 JSON 数据的深度克隆、序列化和反序列化方法，专为支持 TypeScript 的 Angular 项目而设计。
5. 很棒的Cpp
各种各样的
- libpopcnt (⭐335) – 快速 C/C++ 位人口计数库。 [BSD-2 条款]