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 以便集成到其他软件或服务中。