6 个仓库
Awesome GitHub RepositoriesStatic Type Systems
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.
Awesome Static Type Systems GitHub Repositories
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- aliabb01/invoify
aliabb01/invoify
6,307在 GitHub 上查看Invoify 是一个基于浏览器的计费工具和发票生成器，使用 Next.js 和 TypeScript 构建。它提供了一个 Web 界面，用于为客户设计、创建和管理专业的账单文档。 该应用具有带有实时预览和布局模板的专业发票设计器。它允许直接生成 PDF 文件，并包含一个集成的电子邮件服务，用于自动向收件人发送发票。 该系统通过本地浏览器存储管理计费数据，并支持将发票信息导出为 PDF、JSON 和 CSV 格式，以供外部报告和记录保存。
Utilizes TypeScript's static typing to ensure data consistency across the application logic.
TypeScript - devias-io/material-kit-react
devias-io/material-kit-react
5,587在 GitHub 上查看Material Kit React 是一个基于 Material UI 构建的 React 应用仪表板模板。它为使用 TypeScript 开发管理界面和管理仪表板提供了一个类型安全的基石。 该项目包含用于身份管理的预配置身份验证流程，并针对 Auth0 单点登录和 Firebase 会话管理进行了特定集成。 它通过针对系统设置和用户管理的预设计布局，涵盖了应用脚手架和企业级 UI 原型设计。该系统使用集中的设计令牌系统进行主题定制，并通过上下文提供程序（context providers）分发状态。
Utilizes a strict TypeScript type system to ensure data integrity for component props and authentication states.
TypeScriptadminadmin-dashboardadmin-template - daymychen/art-design-pro
Daymychen/art-design-pro
5,547在 GitHub 上查看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.
Vueadmin-tempalteart-design-provite - thinkjs/thinkjs
thinkjs/thinkjs
5,272在 GitHub 上查看ThinkJS 是一个专为 Node.js 运行时构建的服务器端 Web 框架。它作为一个开发平台，支持 TypeScript 和最新的 ECMAScript 标准，用于创建稳定且易于维护的后端服务。 该框架采用分层应用架构，将关注点分离为控制器（Controller）、服务（Service）和模型（Model）层。它利用依赖注入的服务模型来管理单例服务，并使用基于中间件的系统来处理请求和路由分发。 开发过程由构建流水线支持，该流水线可转译现代 JavaScript 特性，并利用静态类型在构建过程中捕获错误。
Integrates TypeScript's static type system to catch errors at compile time and improve backend code maintainability.
JavaScript - twitter/scala_school
twitter/scala_school
3,692在 GitHub 上查看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.
HTML - pedrovgs/algorithms
pedrovgs/Algorithms
2,786在 GitHub 上查看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.
Java
