Awesome GitHub RepositoriesStatic Type Systems

Invoify est un outil de facturation basé sur navigateur construit avec Next.js et TypeScript. Il fournit une interface web pour concevoir, créer et gérer des documents de facturation professionnels pour les clients. L'application dispose d'un concepteur de factures professionnel avec des prévisualisations en direct et des modèles de mise en page. Elle permet la génération directe de fichiers PDF et inclut un service d'email intégré pour la livraison automatisée des factures aux destinataires. Le système gère les données de facturation via le stockage local du navigateur et prend en charge l'exportation des informations de facture aux formats PDF, JSON et CSV pour le reporting et l'archivage externes.

Material Kit React est un template de tableau de bord pour les applications React construites avec Material UI. Il fournit une base typée pour développer des interfaces administratives et des tableaux de bord de gestion en utilisant TypeScript. Le projet inclut des flux d'authentification pré-configurés pour la gestion des identités, avec des intégrations spécifiques pour l'authentification unique (SSO) Auth0 et la gestion de session Firebase. Il couvre l'échafaudage d'applications et le prototypage d'interface utilisateur d'entreprise via des mises en page pré-conçues pour les paramètres système et l'administration des utilisateurs. Le système utilise un système de jetons de conception centralisé pour la personnalisation des thèmes et distribue l'état via des fournisseurs de contexte.

Art Design Pro est un template de tableau de bord d'administration Vue 3 et un framework de développement typé conçu pour construire des consoles de gestion d'entreprise. Il sert de boilerplate frontend qui intègre le kit UI Element Plus et utilise un pipeline de build propulsé par Vite. Le projet fournit une base pour développer des interfaces utilisateur professionnelles et des applications de back-office d'entreprise. Il inclut un mécanisme de nettoyage spécifique pour initialiser une base de développement propre en supprimant les données de démonstration et le contenu d'exemple. Le framework intègre TypeScript pour le typage statique, le routage d'applications monopages (SPA) et la gestion d'état réactive utilisant l'API Composition de Vue 3.

ThinkJS est un framework web côté serveur conçu pour créer des applications sur le runtime Node.js. Il sert de plateforme de développement prenant en charge TypeScript et les dernières normes ECMAScript pour créer des services backend stables et maintenables. Le framework utilise une architecture d'application en couches qui sépare les préoccupations en niveaux de contrôleur, de service et de modèle. Il utilise un modèle de service par injection de dépendances pour gérer les services singleton et un système basé sur des middlewares pour la gestion des requêtes et le routage. Le développement est soutenu par un pipeline de build qui transpile les fonctionnalités JavaScript modernes et exploite le typage statique pour détecter les erreurs lors du processus de compilation.

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