Awesome GitHub RepositoriesApplication State Serialization

AppManager is a comprehensive suite of tools for managing applications on Android devices. It provides utilities for controlling application lifecycles, modifying manifests, and administering installed packages. The project distinguishes itself through deep system integration, offering capabilities to analyze and block specific application components such as activities, services, and broadcast receivers. It includes a system for saving and restoring applications along with their associated data and permissions, as well as tools for auditing and modifying runtime and development permissions.

Cosmos SDK is a modular blockchain application framework and software development kit used to build sovereign layer-one networks. It provides a foundation for creating customizable blockchains featuring native interoperability, sovereign governance, and Byzantine Fault Tolerant consensus engines. The framework is distinguished by its inter-blockchain communication protocol, which enables the transfer of byte-encoded data and digital assets between independent blockchain networks. It supports multiple consensus models, including Proof of Stake and Proof of Authority, and allows for the integra

Pluto.jl 是一个用于 Julia 的响应式计算环境，其功能类似于可编程文档格式。它作为一个交互式数据科学 IDE 和多语言计算笔记本，将 Julia 代码和环境依赖项存储为可版本化的源文件。 该系统以其响应式执行模型而著称，该模型使用有向无环图来跟踪变量依赖关系，并在值发生变化时自动重新评估受影响的下游单元。它通过将隔离的包环境直接集成到笔记本文件中，并将内容持久化为纯可执行源文件，从而确保了可重复性。 该平台涵盖了广泛的功能，包括交互式数据可视化、创建引导式教育作业以及生成静态文档网站。它支持多种输出模式，如幻灯片演示和 Web 应用程序，并提供将笔记本导出为 HTML、PDF 和以可重复性为重点的脚本的工具。 该环境可以通过 localhost 上的 Web 界面启动，也可以通过远程服务器和云计算托管进行访问。

libigl 是一个 C++ 几何处理库，用于分析和操作 3D 三角形和四面体网格。它充当数值线性代数套件和网格操作框架，集成了几何变形引擎以实现刚性和多调和变换。 该项目以其仅头文件的库设计以及对专门变形技术的实现而著称，包括尽可能刚性 (rigid-as-possible) 和多调和形状变形。它还提供了一个可视化工具，用于通过交互式场景控制和网格拾取来渲染表面和标量场。 该库涵盖了广泛的功能，包括用于曲率和测地距离的几何分析、通过等值面提取和三角剖分进行的网格生成，以及通过各向异性变形进行的网格重构。它还支持布尔网格操作、表面参数化以及用于求解拉普拉斯方程和二次规划的数值优化。 该工具包包括用于导入和导出各种 3D 几何格式的实用程序，并支持与 Matlab 的互操作性，以便执行脚本和共享矩阵。

gdext 为 Godot 4 引擎提供了一组用于编写高性能原生 Rust 游戏逻辑的语言绑定。它作为一个框架，通过 GDExtension 库创建原生引擎扩展和自定义类，允许开发者在不重新编译引擎源代码的情况下扩展核心引擎功能。 该项目包含一个专门的 Rust WebAssembly 工具链，用于将原生逻辑编译为模块以便在 Web 浏览器中执行。该系统支持 WebAssembly 兼容编译，并针对 Web 线程和模块调试进行了特定配置。 该工具包涵盖了广泛的引擎集成能力，包括自定义类定义、场景树节点管理和类型安全信号处理。它为物理模拟、程序化内容生成和自定义编辑器插件的开发提供了实用程序。 开发过程由用于项目设置、原生扩展测试和逻辑单元测试的自动化工具支持。

Aidoku is a manga reader application and digital library manager. It serves as a modular content aggregator that allows users to discover, download, and read manga from various third-party sources and local files. The application utilizes a modular source plugin system to integrate external provider packages, enabling the ingestion of content from multiple third-party sources. It includes a sync engine that communicates with external tracking APIs to maintain consistent reading progress across different platforms. The system covers manga library management, including the ability to search fo

CRIU is a Linux process checkpointing tool and state manager used to freeze running applications and save their memory and state to disk for later restoration. It functions as a container migration engine and an OCI checkpoint image converter, allowing the live state of running containers to be transferred between different hosts. The project distinguishes itself through its ability to persist network connectivity, acting as a TCP connection state persister that saves and reconstructs network socket states to maintain active communication after a restart. It further enables the distribution o

mujoco_menagerie is a curated library of physical robot specifications and XML model definitions designed for standardized dynamics and contact simulation. It provides a collection of high-quality robot model files for humanoids, quadrupeds, and manipulators, alongside detailed kinematic and inertial parameters used to reproduce real-world robot behavior in virtual environments. The project serves as a repository of robotics simulation assets and MJCF model definitions optimized for accuracy. It includes standardized model libraries specifically for bipedal, quadrupedal, and humanoid hardware