Thorn in Haizestack 是一个由 HaizeLabs 开发的开源工具,它允许程序员使用 Raspberry Pi 和 ESP32 开发板轻松构建和部署云原生应用程序。它提供了一套全面的工具,包括代码编辑器、调试器和命令行界面,帮助程序员快速构建、调试和部署应用程序。
这是一个包含一系列示例的指南,展示了如何使用 Node.js 和 Kubernetes 构建、部署和扩展应用程序。
Efficient-Kanban 是一款用于管理项目的轻量级看板应用程序。它允许用户创建和管理任务、子任务和看板。该应用程序具有直观的界面和易于使用的功能。它还支持拖放功能,可轻松重新排列任务和子任务。此外,该应用程序还具有搜索功能,可快速查找特定任务或子任务。
该网站是一个中文的强化学习笔记,内容涵盖了强化学习的基础概念、算法和应用。它由 Alessio D'Angelo 维护,并托管在 GitHub 上。
该网站提供了一个开源的远程桌面应用程序,名为TheDesk。它允许用户在不同的设备之间远程连接和控制桌面。该应用程序具有多种功能,包括屏幕共享、文件传输和聊天。
MapMachine是一个用于生成和编辑二维切片地图的开源平台。它支持多种数据源,包括图像文件、栅格数据、矢量数据和地形数据。MapMachine 提供了广泛的工具和功能,用于创建、编辑、导出和发布地图,使其成为需要创建和维护高质量地图的项目的绝佳选择。
xMake 是一个现代、跨平台且声明式的 C/C++ 构建系统,它提供了易于使用的语法、强大的规则引擎、增量构建支持和出色的性能。它旨在简化和加速 C/C++ 项目的构建过程。
Hash Prospector 是一款工具,可以帮助您查找比特币和以太坊地址中隐藏的加密货币。它使用户能够搜索特定地址的交易历史,并按交易价值和时间戳对交易进行排序。此外,该工具还提供有关特定地址中持有资产的钱包的详细信息。
Cylon是为边缘设备设计的开源容器引擎,侧重于可扩展性和资源效率。它提供了一个轻量级、模块化的平台,使开发人员能够轻松地在边缘设备上部署和管理容器化应用程序。Cylon具有可插拔的存储、网络和日志记录组件,使其易于定制和适应各种边缘用例。它还支持边缘设备常见的约束,例如有限的资源和间歇性连接。
Upstash Semantic Cache是一个开源框架,旨在通过提供对数据库查询结果的语义缓存,来提高Web应用程序的速度和可伸缩性。它通过机器学习算法来识别和缓存经常一起查询的数据,从而减少对数据库的调用次数。此外,Semantic Cache还提供了一系列功能,包括热键刷新、多数据中心复制和基于角色的访问控制,以增强缓存的可靠性和安全性。
Verus 是一个用于验证 Rust 代码正确性的工具。 开发人员编写代码应该做什么的规范,Verus 会静态地检查可执行的 Rust 代码是否在代码的所有可能执行中始终满足规范。 Verus 没有添加运行时检查,而是依靠强大的求解器来证明代码是正确的。 Verus 目前支持 Rust 的一个子集(我们正在努力扩展),并且在某些情况下,它允许开发人员超越标准的 Rust 类型系统,并静态地检查代码的正确性,例如,操作原始指针。
这是 StarCoder2 自适应代码存储库,它是一种基于 JavaScript 的编程环境,用于在 Unity 游戏引擎中创建和编辑代码。它具有一系列工具,可以帮助程序员快速轻松地开发和测试他们的代码,包括自动完成、错误检查和调试器。该代码库还包括一系列示例和教程,帮助用户开始使用该环境。
Zed Industries 的 GPUI 是一个通用库界面,旨在简化 GPU 编程。它为 C 和 Rust 提供了低级和高级抽象,以加速和简化并行计算。GPUI 包含各种模块,可协助内存管理、并行算法、同步、排序和更高级别的数据结构。它旨在提高开发人员的生产力,同时提供高性能和可移植性。
该网站是 GitHub 上的一个存储库,其中包含用于训练中文 LLM 模型的代码和数据。该模型基于 LLaMA 架构,经过大量中文文本语料库的训练。用户可以访问该存储库中的代码和数据,以训练自己的中文 LLM 模型或进行研究。该网站还提供了有关模型的详细信息、训练过程和评估结果的信息。
这是一个 GitHub 代码仓库,包含用于训练和部署安全多方计算应用程序的库和示例。该项目旨在保护数据隐私,特别是在多方参与处理数据的场景中。其核心库提供多方计算的实现,并包含用于执行安全聚合、秘密共享和加密函数评估等操作的函数。还提供了示例,展示如何将这些库应用于实际应用程序中。
Perimeter项目是一个开源微型代理架构,旨在为云原生场景提供轻量、低延迟的代理服务。该架构采用基于Rust和异步网络编程构建,支持HTTP、HTTPS和gRPC协议。Perimeter提供了丰富的功能,包括安全、流量控制、监控和可观测性,可以帮助开发人员轻松可靠地构建代理服务。
该网站是谷歌深度思维 Torax 项目的官方托管库,它提供了一个用于构建和训练强化学习神经网络的库。Torax 旨在成为一个灵活且用户友好的框架,支持各种强化学习算法和体系结构。它提供了一系列特性,包括易于使用的神经网络 API、分布式训练支持和一系列预训练模型。
此网站提供名为 Trivial-Inspect 的 C# 工具,该工具是一个静态代码分析器,用于在 C# 程序集中检测琐碎的代码和不良做法。该工具使用一组规则来查找潜在的问题,例如空引用、未使用的变量和冗余代码。用户可以自定义规则并将其集成到构建过程中,以帮助提高代码质量和可维护性。
Blue Recorder是一个免费的开源播放器和录音器,支持各种格式,包括蓝光光盘、DVD和流媒体视频。它提供高级功能,如实时效果、滤镜和调整,以及与第三方应用程序的集成。
此网站提供了 Firefox WebSerial 的相关信息,包括其功能、使用方法以及与 WebSerial API 的交互方式。该网站还提供了代码示例和资源,帮助开发人员在项目中使用 WebSerial。
该网站是代码托管平台 GitHub 上的一个 pull request,用于开源游戏 TGstation 的开发。它介绍了对游戏的新增功能,包括新的地图和遥测数据。
该网站是一个开源库,旨在通过添加新功能和改进现有功能来扩展 C++ 标准库。它提供了一系列实用程序和扩展,包括容器、算法、实用工具和与其他库的集成。该库旨在提高开发人员的生产力和代码的健壮性。