unocss/unocss
Stars: 14.6k License: MIT
该项目是一个即时的按需原子 CSS 引擎，受到 Windi CSS、Tailwind CSS 和 Twind 的启发，解决了定制化、速度和体积的问题。
以下是该项目的特点和核心优势：
- 完全可定制：通过预设提供所有功能，没有核心实用程序
- 无解析、无 AST、无扫描，即时性能（比 Windi CSS 或 Tailwind JIT 快 5 倍）
- ~6kb min+brotli：零依赖且浏览器友好
- 快捷方式 ：别名实用程序动态别名化
- 属性模式 ：在属性中组合实用程序
- 纯 CSS 图标：使用任何图标作为单个类
- 变体组：具有常见前缀的群组工具的速记法
- CSS 指令：使用 @apply 指令在 CSS 中重复使用工具
apple/ml-ferret
Stars: 6.0k License: NOASSERTION
Ferret 是一个端到端的 MLLM (多模态语言和视觉学习) 模型，可以接受任何形式的指代，并在响应中对任何内容进行定位。其主要功能包括 FERRET 模型、GRIT 数据集以及 Ferret-Bench 评估基准。该项目的关键优势和核心特点包括：
- FERRET 模型采用混合区域表示+空间感知视觉采样器，实现了细粒度且开放词汇表范围内的指称与定位。
- GRIT 数据集规模大、层次化且稳健，在调整指令方面具有重要意义。
- Ferret-Bench 是一个多模态评估基准，同时需要涵盖指称/定位、语义理解、知识获取和推理等能力。
be5invis/Iosevka
Stars: 17.8k License: OFL-1.1
Iosevka 是一个开源的、无衬线 + 衬线、等宽 + 准比例字体系列，专为编写代码、在终端中使用和准备技术文档而设计。
- 提供 6 种等宽子系列（无衬线和衬线，每种有 3 种间距：默认 (Default)、终端 (Term) 和 固定 (Fixed)）以及 2 个准比例子系列（Aile (无衬线) 和 Etoile (衬线)）
- 每个版本包括相同范围的字符：拉丁字母，希腊字母(包括多音节)，一些西里尔字母，国际音标符号和常见标点符号以及一些符号
- 支持 234 种语言
- 各式各样的风格设置可改变某些字符的形状。
Z3Prover/z3
Stars: 9.4k License: NOASSERTION
Z3 是来自微软研究院的定理证明器，它提供了多种编程语言的绑定。它可以使用 Visual Studio、Makefile 或 CMake 构建，并支持多线程。Z3 本身有少量依赖项，包括 C++ 运行时库和 pthread 用于多线程。此外，还可以选择使用 GMP 进行多精度整数计算，但 Z3 也包含了自己的完整功能性实现。 Z3 具有 .NET、C、C ++、Java、OCaml 等各种编程语言的绑定，并且用户可以通过 nuget.org 或 pypi 安装最新版本的相关软件包。
- 提供 .NET/C/C++/Java/OCaml/Python 等各种编程语言绑定
- 支持在 Windows 和 Linux 下使用 Visual Studio, Makefile, CMake 进行构建
- 具有少量依赖项并可选支持 GMP 进行多精度整数计算
Coder-World04/Complete-System-Design
Stars: 2.8k License: MIT
这个项目是一个完整的系统设计学习资源库，包括实现案例研究和代码。主要功能包括提供了 200 多个系统设计案例、技术面试备忘单以及如何高效准备等内容。该项目的关键特点和核心优势有：
- 提供大量系统设计案例
- 包含重要的系统设计概念与术语
- 系统化地介绍了各种基本原理 (例如水平/垂直扩展、负载均衡、消息队列等)
- 详细讲解了每个部分在面试中应用时需要注意的事项
davidfowl/TodoApi
Stars: 2.2k License: MIT
这是一个使用 ASP.NET Core Blazor WASM、Minimal APIs 和身份验证的 Todo 应用程序。
核心优势：
- 使用 Blazor WebAssembly 构建前端应用
- 使用最小 API 构建后端 REST API
- 数据访问采用 EntityFramework 和 SQLite
- 支持 OpenAPI 规范
- 集成 ASP.NET Core Identity 进行用户管理
关键特性：
- Cookie 认证和 JWT 认证支持，确保安全性。
- 前端请求通过 YARP 的 IHttpForwarder 代理到后台服务器，提高效率。
- 提供速率限制功能，防止滥用或恶意攻击。
- 写集成测试来测试你的 REST API。