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 es un entorno de computación reactiva para Julia que funciona como un formato de documento programable. Sirve como un IDE interactivo de ciencia de datos y un notebook computacional políglota que almacena código Julia y dependencias de entorno como archivos fuente versionables. El sistema se distingue por su modelo de ejecución reactiva, que utiliza un grafo acíclico dirigido para rastrear dependencias de variables y reevaluar automáticamente las celdas descendentes afectadas cuando cambia un valor. Garantiza la reproducibilidad integrando entornos de paquetes aislados directamente dentro del archivo del notebook y persistiendo el contenido como archivos fuente ejecutables puros. La plataforma cubre una amplia gama de capacidades, incluyendo visualización interactiva de datos, creación de tareas educativas guiadas y generación de sitios web de documentación estática. Admite diversos modos de salida como presentaciones de diapositivas y aplicaciones web, y proporciona herramientas para exportar notebooks a HTML, PDF y scripts centrados en la reproducibilidad. El entorno puede lanzarse a través de una interfaz web en localhost o accederse a través de servidores remotos y alojamiento de computación en la nube.

libigl es una librería de procesamiento de geometría en C++ utilizada para analizar y manipular mallas 3D triangulares y tetraédricas. Funciona como una suite de álgebra lineal numérica y un framework de manipulación de mallas, integrando un motor de deformación geométrica para implementar transformaciones rígidas y poliharmónicas. El proyecto se distingue por su diseño de librería header-only y su implementación de técnicas de deformación especializadas, incluyendo deformación rígida y poliharmónica. También proporciona una herramienta de visualización para renderizar superficies y campos escalares con controles de escena interactivos y selección de mallas. La librería cubre una amplia gama de capacidades, incluyendo análisis de geometría para curvatura y distancias geodésicas, generación de mallas mediante extracción de iso-superficies y triangulación, y remallado mediante deformación anisotrópica. Además, admite operaciones booleanas de malla, parametrización de superficies y optimización numérica para resolver ecuaciones de Laplace y programas cuadráticos. El kit de herramientas incluye utilidades para importar y exportar varios formatos de geometría 3D y admite la interoperabilidad con Matlab para ejecutar scripts y compartir matrices.

gdext proporciona un conjunto de bindings de lenguaje para escribir lógica de juego nativa de alto rendimiento en Rust para el motor Godot 4. Sirve como framework para crear extensiones nativas del motor y clases personalizadas mediante la librería GDExtension, permitiendo a los desarrolladores extender la funcionalidad central del motor sin recompilar el código fuente del mismo. El proyecto incluye un toolchain dedicado de Rust WebAssembly para compilar lógica nativa en módulos para su ejecución en navegadores web. Este sistema soporta compilación compatible con WebAssembly con configuraciones específicas para threading web y depuración de módulos. El kit de herramientas cubre una amplia gama de capacidades de integración con el motor, incluyendo definiciones de clases personalizadas, gestión de nodos del árbol de escenas y manejo de señales con seguridad de tipos. Proporciona utilidades para simulación física, generación procedimental de contenido y desarrollo de plugins personalizados para el editor. El desarrollo cuenta con herramientas de automatización para la configuración de proyectos, pruebas de extensiones nativas y pruebas unitarias de lógica.

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