1 repository
Awesome GitHub RepositoriesBidirectional Type Checking
Type checking that propagates type information in both directions between expressions and their expected types.
Distinct from Static Type Checking: Specializes static type checking by focusing on the bidirectional propagation of type information during analysis.
Explore 1 awesome GitHub repository matching software engineering & architecture · Bidirectional Type Checking. Refine with filters or upvote what's useful.
Awesome Bidirectional Type Checking GitHub Repositories
Găsește cele mai bune repo-uri cu AI.Vom căuta cele mai potrivite repository-uri folosind AI.
- myriad-dreamin/tinymist
Myriad-Dreamin/tinymist
2,907Vezi pe GitHubTinymist is a comprehensive suite of tools for Typst document authoring, serving as a language server, document compiler, and project manager. It provides a standardized language service via the Language Server Protocol to enable editor features such as autocompletion, navigation, and semantic highlighting. The project distinguishes itself by integrating a TCP-based live preview server for real-time visual rendering and an advanced static analysis tool that utilizes abstract syntax trees and bidirectional type checking. It also includes a project management system capable of handling multi-fi
Applies bidirectional type checking to verify literals, closures, and destructuring during analysis.
Rustdapdap-serverformatter
