Stars: 14.6k License: MIT

该项目是一个即时的按需原子 CSS 引擎，受到 Windi CSS、Tailwind CSS 和 Twind 的启发，解决了定制化、速度和体积的问题。

以下是该项目的特点和核心优势：

• 完全可定制：通过预设提供所有功能，没有核心实用程序
• 无解析、无 AST、无扫描，即时性能（比 Windi CSS 或 Tailwind JIT 快 5 倍）
• ~6kb min+brotli：零依赖且浏览器友好
• 快捷方式 ：别名实用程序动态别名化
• 属性模式 ：在属性中组合实用程序
• 纯 CSS 图标：使用任何图标作为单个类
• 变体组：具有常见前缀的群组工具的速记法
• CSS 指令：使用 @apply 指令在 CSS 中重复使用工具

Stars: 6.0k License: NOASSERTION

Ferret 是一个端到端的 MLLM (多模态语言和视觉学习) 模型，可以接受任何形式的指代，并在响应中对任何内容进行定位。其主要功能包括 FERRET 模型、GRIT 数据集以及 Ferret-Bench 评估基准。该项目的关键优势和核心特点包括：

• FERRET 模型采用混合区域表示+空间感知视觉采样器，实现了细粒度且开放词汇表范围内的指称与定位。
• GRIT 数据集规模大、层次化且稳健，在调整指令方面具有重要意义。
• Ferret-Bench 是一个多模态评估基准，同时需要涵盖指称/定位、语义理解、知识获取和推理等能力。

Stars: 17.8k License: OFL-1.1

Iosevka 是一个开源的、无衬线 + 衬线、等宽 + 准比例字体系列，专为编写代码、在终端中使用和准备技术文档而设计。

• 提供 6 种等宽子系列（无衬线和衬线，每种有 3 种间距：默认 (Default)、终端 (Term) 和 固定 (Fixed)）以及 2 个准比例子系列（Aile (无衬线) 和 Etoile (衬线)）
• 每个版本包括相同范围的字符：拉丁字母，希腊字母(包括多音节)，一些西里尔字母，国际音标符号和常见标点符号以及一些符号
• 支持 234 种语言
• 各式各样的风格设置可改变某些字符的形状。

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 进行多精度整数计算

Stars: 2.8k License: MIT

这个项目是一个完整的系统设计学习资源库，包括实现案例研究和代码。主要功能包括提供了 200 多个系统设计案例、技术面试备忘单以及如何高效准备等内容。该项目的关键特点和核心优势有：

• 提供大量系统设计案例
• 包含重要的系统设计概念与术语
• 系统化地介绍了各种基本原理 (例如水平/垂直扩展、负载均衡、消息队列等)
• 详细讲解了每个部分在面试中应用时需要注意的事项

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。