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。