6 रिपॉजिटरी
Use of compile-time type checking to ensure data consistency and catch errors before execution.
Distinct from TypeScript Type Checkers: The candidates focus on specific checkers or synthesis rather than the general application of a static type system for codebase consistency.
Explore 6 awesome GitHub repositories matching software engineering & architecture · Static Type Systems. Refine with filters or upvote what's useful.
Invoify एक ब्राउज़र-आधारित बिलिंग टूल और इनवॉइस जनरेटर है जिसे Next.js और TypeScript के साथ बनाया गया है। यह ग्राहकों के लिए पेशेवर बिलिंग दस्तावेज़ डिज़ाइन करने, बनाने और प्रबंधित करने के लिए एक वेब इंटरफ़ेस प्रदान करता है। एप्लिकेशन में लाइव प्रीव्यू और लेआउट टेम्प्लेट्स के साथ एक पेशेवर इनवॉइस डिज़ाइनर है। यह पोर्टेबल डॉक्यूमेंट फॉर्मेट (PDF) फ़ाइलों के सीधे जनरेशन की अनुमति देता है और प्राप्तकर्ताओं को स्वचालित इनवॉइस डिलीवरी के लिए एक एकीकृत ईमेल सेवा शामिल करता है। सिस्टम स्थानीय ब्राउज़र स्टोरेज के माध्यम से बिलिंग डेटा का प्रबंधन करता है और बाहरी रिपोर्टिंग और रिकॉर्ड-कीपिंग के लिए इनवॉइस जानकारी को PDF, JSON और CSV फॉर्मेट में एक्सपोर्ट करने का समर्थन करता है।
Utilizes TypeScript's static typing to ensure data consistency across the application logic.
Material Kit React, Material UI पर निर्मित React एप्लिकेशन के लिए एक डैशबोर्ड टेम्प्लेट है। यह TypeScript का उपयोग करके प्रशासनिक इंटरफ़ेस और प्रबंधन डैशबोर्ड विकसित करने के लिए एक टाइप-सेफ़ आधार प्रदान करता है। प्रोजेक्ट में पहचान प्रबंधन के लिए पहले से कॉन्फ़िगर किए गए प्रमाणीकरण प्रवाह शामिल हैं, जिसमें Auth0 सिंगल साइन-ऑन और Firebase सेशन मैनेजमेंट के लिए विशिष्ट एकीकरण हैं। यह सिस्टम सेटिंग्स और यूज़र एडमिनिस्ट्रेशन के लिए पहले से डिज़ाइन किए गए लेआउट के माध्यम से एप्लिकेशन स्कैफ़ोल्डिंग और एंटरप्राइज़ UI प्रोटोटाइपिंग को कवर करता है। सिस्टम थीम कस्टमाइज़ेशन के लिए एक केंद्रीकृत डिज़ाइन टोकन सिस्टम का उपयोग करता है और कॉन्टेक्स्ट प्रोवाइडर्स के माध्यम से स्टेट वितरित करता है।
Utilizes a strict TypeScript type system to ensure data integrity for component props and authentication states.
Art Design Pro एक Vue 3 एडमिन डैशबोर्ड टेम्प्लेट और टाइप-सेफ डेवलपमेंट फ्रेमवर्क है जिसे एंटरप्राइज़ मैनेजमेंट कंसोल बनाने के लिए डिज़ाइन किया गया है। यह एक फ्रंटएंड बॉयलरप्लेट के रूप में कार्य करता है जो Element Plus UI किट को एकीकृत करता है और Vite-संचालित बिल्ड पाइपलाइन का उपयोग करता है। यह प्रोजेक्ट पेशेवर यूजर इंटरफेस और कॉर्पोरेट बैक-ऑफिस एप्लिकेशन विकसित करने के लिए एक आधार प्रदान करता है। इसमें डेमो डेटा और सैंपल सामग्री को हटाकर एक स्पष्ट डेवलपमेंट बेस शुरू करने के लिए एक विशिष्ट क्लीनअप मैकेनिज्म शामिल है। फ्रेमवर्क में स्टेटिक टाइपिंग के लिए TypeScript, सिंगल-पेज एप्लिकेशन राउटिंग और Vue 3 Composition API का उपयोग करके रिएक्टिव स्टेट मैनेजमेंट शामिल है।
Employs a static type system via TypeScript to ensure data consistency and catch errors during development.
ThinkJS is a server-side web framework designed for building applications on the Node.js runtime. It serves as a development platform that supports TypeScript and the latest ECMAScript standards to create stable and maintainable backend services. The framework employs a layered application architecture that separates concerns into controller, service, and model tiers. It utilizes a dependency-injected service model to manage singleton services and a middleware-based system for request handling and route dispatching. Development is supported by a build pipeline that transpiles modern JavaScri
Integrates TypeScript's static type system to catch errors at compile time and improve backend code maintainability.
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
Instructs on using static type systems to catch data mismatch errors during compilation.
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
Enforces strict data structures and interface contracts at compile time to prevent runtime errors.