Awesome GitHub RepositoriesStatic Type Systems

Invoify es una herramienta de facturación basada en navegador y generador de facturas construido con Next.js y TypeScript. Proporciona una interfaz web para diseñar, crear y gestionar documentos de facturación profesionales para clientes. La aplicación cuenta con un diseñador de facturas profesional con vistas previas en vivo y plantillas de diseño. Permite la generación directa de archivos en formato PDF e incluye un servicio de correo electrónico integrado para la entrega automatizada de facturas a los destinatarios. El sistema gestiona los datos de facturación a través del almacenamiento local del navegador y admite la exportación de información de facturas a formatos PDF, JSON y CSV para informes externos y mantenimiento de registros.

Material Kit React es una plantilla de panel de control para aplicaciones React construida con Material UI. Proporciona una base con tipado seguro para desarrollar interfaces administrativas y paneles de gestión utilizando TypeScript. El proyecto incluye flujos de autenticación preconfigurados para la gestión de identidades, con integraciones específicas para el inicio de sesión único (SSO) de Auth0 y la gestión de sesiones de Firebase. Cubre el andamiaje de aplicaciones y la creación de prototipos de UI empresarial a través de diseños predefinidos para la configuración del sistema y la administración de usuarios. El sistema utiliza un sistema centralizado de tokens de diseño para la personalización de temas y distribuye el estado a través de proveedores de contexto.

Art Design Pro is a Vue 3 admin dashboard template and type-safe development framework designed for building enterprise management consoles. It serves as a frontend boilerplate that integrates the Element Plus UI kit and utilizes a Vite-powered build pipeline. The project provides a foundation for developing professional user interfaces and corporate back-office applications. It includes a specific cleanup mechanism to initialize a clear development base by removing demo data and sample content. The framework incorporates TypeScript for static typing, single-page application routing, and rea

ThinkJS es un framework web del lado del servidor diseñado para construir aplicaciones sobre el runtime de Node.js. Sirve como plataforma de desarrollo que soporta TypeScript y los estándares más recientes de ECMAScript para crear servicios backend estables y mantenibles. El framework emplea una arquitectura de aplicación en capas que separa las responsabilidades en niveles de controlador, servicio y modelo. Utiliza un modelo de servicio con inyección de dependencias para gestionar servicios singleton y un sistema basado en middleware para el manejo de solicitudes y el despacho de rutas. El desarrollo cuenta con el soporte de un pipeline de compilación que transpila características modernas de JavaScript y aprovecha el tipado estático para detectar errores durante el proceso de construcción.

This project is a Scala programming course and educational resource. It provides a set of lessons covering the core fundamentals of the language, ranging from basic syntax to advanced type systems. The material includes a functional programming tutorial focused on higher-order functions and pattern matching, as well as guides on managing asynchronous execution and concurrency. It also serves as a resource for understanding the Java Virtual Machine and language interoperability. The course covers the application of polymorphism and variance for type-safe data structures and the use of specifi

This repository is a collection of standard computer science algorithms and data structure implementations written in Java. It serves as a learning resource for developers to study fundamental programming concepts, efficient logic management, and common problem-solving techniques. The project organizes these solutions into modular, independent components that utilize the Java standard library and static type system. Each implementation is verified through unit tests, ensuring that the code adheres to expected outcomes for various mathematical and logical operations. The collection covers a b