SidraChain/go-ethereum

Go Ethereum 是以太坊协议的官方 Golang 执行层实现。

• 支持作为完整节点、存档节点或轻量级节点运行，可用于与以太坊网络交互和管理。
• 提供多个包装器/可执行文件，如主要的 Ethereum CLI 客户端 geth、签名工具 clef 等。
• abigen：将以太坊合约定义转换为易于使用且编译时类型安全的 Go 软件包；
• devp2p：无需运行完整区块链即可与网络层上的其他节点进行交互；
• evm：可在配置环境和执行模式内运行字节码片段的开发者工具版本 EVM (以太虚拟机)；
• 其他功能还有：RLP 数据解析、私网引导程序等。

OpenSignLabs/OpenSign

OpenSign 是一个开源的电子签名解决方案，旨在提供安全可靠且免费的替代品，以取代商业平台如 DocuSign、PandaDoc、SignNow、Adobe Sign 等。它具有以下核心优势和主要功能：

• 安全签署：利用先进的加密算法确保文档的安全性和完整性。
• 用户友好的界面：在设计时考虑到了可用性，使技术和非技术用户都可以轻松使用。
• 多平台支持：与各种浏览器和设备兼容。
• 邀请协作用户：将团队中多个人员纳入签署流程，并全部在自己的基础架构内完成。
• 安全管理文件库：“OpenSigDrive” 轻松地对您的文档进行组织并实现安全存储
• 审计追踪：记录所有与文档签署过程相关活动 (包括 IP 地址和访问时间) 的详细日志。
• 完成证书：所有参与者签署文档后，立即生成安全的完成证书。
• API 支持：提供强大 API 以便集成到其他软件或服务中。

THUDM/ChatGLM3

ChatGLM3 是智谱 AI 和清华大学 KEG 实验室联合发布的新一代对话预训练模型。其主要功能包括更强大的基础模型、更完整的功能支持以及全面开源序列。具体特点如下：

• 更强大的基础模型：ChatGLM3-6B 采用了更多样化、充分训练步数和合理训练策略，在不同角度数据集上表现出最佳性能。
• 更完整的功能支持：引入全新设计 Prompt 格式，并原生支持工具调用、代码执行和 Agent 任务等复杂场景。
• 全面开源序列：除了对话模型外，还提供了基础模型 ChatGLM3-6B-base 和长文本对话模型 ChatGLM3-6B32K。

leanprover/lean4

Lean 是一种函数式编程语言，可以轻松编写正确且可维护的代码。您还可以使用 Lean 作为交互式定理证明器。Lean 编程主要涉及定义类型和功能，这样一来，您的注意力就可以放在问题域和操作其数据上，而不是编程的细节上。 Lean 具有许多功能，包括：

• 类型推断
• 强大的数据类型
• 模式匹配
• 依赖类型
• 元编程框架
• 多线程

InterviewReady/system-design-resources

这个项目是一个系统设计资源的集合，提供了互联网上最好的系统设计资源。该项目主要功能包括视频处理、集群和工作流管理、服务内消息传递、消息队列反模式等多个方面。以下是该项目的核心优势和关键特点：

• 提供了丰富而全面的系统设计相关资源
• 包含各种领域 (如视频处理、容器化等) 中知名公司 (如 Facebook、Netflix 等) 实践案例
• 涵盖了分布式数据库、缓存技术以及负载均衡等重要概念和算法

microsoft/Web-Dev-For-Beginners

这个开源项目是一个为期 12 周的全面课程，由微软云倡导者团队提供。它旨在帮助初学者掌握 JavaScript、CSS 和 HTML 的基础知识。每一节都包括预习和复习测验、详细的书面指南、解决方案、作业等内容。通过以项目为基础的学习方法，该课程旨在帮助您通过实践构建技能，并优化知识积累。

以下是该项目关键特性和核心优势：

• 采用了以项目为中心的教育理念
• 提供丰富多样且易于理解和上手的操作示例代码
• 包含大量有针对性、有效果的测试与巩固所学知识点的小测验
• 引入了最新工具及现代前端开发技术