microsoft/Web-Dev-For-Beginners
Stars: 71.5k License: MIT
这个开源项目是一个为期 12 周的全面课程，由微软云倡导者团队提供。它旨在帮助初学者掌握 JavaScript、CSS 和 HTML 的基础知识。每一节都包括预习和复习测验、详细的书面指南、解决方案、作业等内容。通过以项目为基础的学习方法，该课程旨在帮助您通过实践构建技能，并优化知识积累。
以下是该项目关键特性和核心优势：
- 采用了以项目为中心的教育理念
- 提供丰富多样且易于理解和上手的操作示例代码
- 包含大量有针对性、有效果的测试与巩固所学知识点的小测验
- 引入了最新工具及现代前端开发技术
InterviewReady/system-design-resources
Stars: 10.9k License: GPL-3.0
这个项目是一个系统设计资源的集合，提供了互联网上最好的系统设计资源。该项目主要功能包括视频处理、集群和工作流管理、服务内消息传递、消息队列反模式等多个方面。以下是该项目的核心优势和关键特点：
- 提供了丰富而全面的系统设计相关资源
- 包含各种领域 (如视频处理、容器化等) 中知名公司 (如 Facebook、Netflix 等) 实践案例
- 涵盖了分布式数据库、缓存技术以及负载均衡等重要概念和算法
leanprover/lean4
Stars: 3.0k License: Apache-2.0
Lean 是一种函数式编程语言，可以轻松编写正确且可维护的代码。您还可以使用 Lean 作为交互式定理证明器。Lean 编程主要涉及定义类型和功能，这样一来，您的注意力就可以放在问题域和操作其数据上，而不是编程的细节上。
Lean 具有许多功能，包括：
- 类型推断
- 强大的数据类型
- 模式匹配
- 依赖类型
- 元编程框架
- 多线程
THUDM/ChatGLM3
Stars: 1.9k License: NOASSERTION
ChatGLM3 是智谱 AI 和清华大学 KEG 实验室联合发布的新一代对话预训练模型。其主要功能包括更强大的基础模型、更完整的功能支持以及全面开源序列。具体特点如下：
- 更强大的基础模型：ChatGLM3-6B 采用了更多样化、充分训练步数和合理训练策略，在不同角度数据集上表现出最佳性能。
- 更完整的功能支持：引入全新设计 Prompt 格式，并原生支持工具调用、代码执行和 Agent 任务等复杂场景。
- 全面开源序列：除了对话模型外，还提供了基础模型 ChatGLM3-6B-base 和长文本对话模型 ChatGLM3-6B32K。
SidraChain/go-ethereum
Stars: 1.6k License: LGPL-3.0
Go Ethereum 是以太坊协议的官方 Golang 执行层实现。
- 支持作为完整节点、存档节点或轻量级节点运行，可用于与以太坊网络交互和管理。
- 提供多个包装器/可执行文件，如主要的 Ethereum CLI 客户端
geth、签名工具clef等。 abigen：将以太坊合约定义转换为易于使用且编译时类型安全的 Go 软件包；devp2p：无需运行完整区块链即可与网络层上的其他节点进行交互；evm：可在配置环境和执行模式内运行字节码片段的开发者工具版本 EVM (以太虚拟机)；- 其他功能还有：RLP 数据解析、私网引导程序等。
OpenSignLabs/OpenSign
Stars: 1.1k License: AGPL-3.0
OpenSign 是一个开源的电子签名解决方案，旨在提供安全可靠且免费的替代品，以取代商业平台如 DocuSign、PandaDoc、SignNow、Adobe Sign 等。它具有以下核心优势和主要功能：
- 安全签署：利用先进的加密算法确保文档的安全性和完整性。
- 用户友好的界面：在设计时考虑到了可用性，使技术和非技术用户都可以轻松使用。
- 多平台支持：与各种浏览器和设备兼容。
- 邀请协作用户：将团队中多个人员纳入签署流程，并全部在自己的基础架构内完成。
- 安全管理文件库：“OpenSigDrive” 轻松地对您的文档进行组织并实现安全存储
- 审计追踪：记录所有与文档签署过程相关活动 (包括 IP 地址和访问时间) 的详细日志。
- 完成证书：所有参与者签署文档后，立即生成安全的完成证书。
- API 支持：提供强大 API 以便集成到其他软件或服务中。
