6 repository-uri
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 este un instrument de facturare bazat pe browser, construit cu Next.js și TypeScript. Oferă o interfață web pentru proiectarea, crearea și gestionarea documentelor de facturare profesionale pentru clienți. Aplicația dispune de un designer profesional de facturi cu previzualizări live și șabloane de layout. Permite generarea directă a fișierelor în format PDF și include un serviciu de e-mail integrat pentru livrarea automată a facturilor către destinatari. Sistemul gestionează datele de facturare prin stocarea locală a browserului și suportă exportul informațiilor despre facturi în formate PDF, JSON și CSV pentru raportare externă și păstrarea evidenței.
Utilizes TypeScript's static typing to ensure data consistency across the application logic.
Material Kit React este un template de dashboard pentru aplicații React construit cu Material UI. Oferă o fundație type-safe pentru dezvoltarea interfețelor administrative și a dashboard-urilor de management folosind TypeScript. Proiectul include fluxuri de autentificare pre-configurate pentru gestionarea identității, cu integrări specifice pentru Auth0 single sign-on și gestionarea sesiunilor Firebase. Acoperă scaffolding-ul aplicațiilor și prototiparea UI enterprise prin layout-uri pre-proiectate pentru setările de sistem și administrarea utilizatorilor. Sistemul utilizează un sistem centralizat de design tokens pentru personalizarea temei și distribuie starea prin context providers.
Utilizes a strict TypeScript type system to ensure data integrity for component props and authentication states.
Art Design Pro este un template de dashboard administrativ Vue 3 și un framework de dezvoltare type-safe conceput pentru construirea consolelor de management enterprise. Servește drept boilerplate frontend care integrează kit-ul UI Element Plus și utilizează un pipeline de build bazat pe Vite. Proiectul oferă o fundație pentru dezvoltarea interfețelor profesionale de utilizator și a aplicațiilor corporate back-office. Include un mecanism specific de curățare pentru a inițializa o bază de dezvoltare curată prin eliminarea datelor demo și a conținutului eșantion. Framework-ul încorporează TypeScript pentru tipizare statică, rutare pentru aplicații single-page și gestionarea reactivă a stării folosind Vue 3 Composition API.
Employs a static type system via TypeScript to ensure data consistency and catch errors during development.
ThinkJS este un framework web server-side conceput pentru construirea de aplicații pe runtime-ul Node.js. Servește ca platformă de dezvoltare care suportă TypeScript și cele mai recente standarde ECMAScript pentru a crea servicii backend stabile și ușor de întreținut. Framework-ul utilizează o arhitectură de aplicație stratificată care separă responsabilitățile în niveluri de controller, service și model. Utilizează un model de servicii cu injecție de dependențe pentru a gestiona servicii singleton și un sistem bazat pe middleware pentru gestionarea cererilor și dispatching-ul rutelor. Dezvoltarea este susținută de un pipeline de build care transpila funcționalitățile moderne de JavaScript și utilizează tipizarea statică pentru a detecta erorile în timpul procesului de build.
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.