Awesome GitHub RepositoriesStatic Type Checkers

Onlook is an integrated development environment designed for building user interfaces through a combination of visual manipulation and direct code synchronization. It provides a unified workspace where developers can modify application components, layouts, and styles within a graphical interface, with all changes automatically reflected in the underlying source code. By maintaining a live, bidirectional link between the rendered interface and the codebase, the platform ensures that visual edits are accurately translated into production-ready syntax. The platform distinguishes itself through i

Evaluates code structures against type definitions to identify potential logic errors before saving.

Zulip is an open-source, self-hosted chat platform designed for real-time team communication. It organizes conversations into threaded streams, allowing users to maintain focus and manage complex discussions within a private, secure infrastructure. The project provides full control over data, authentication, and server management, making it a comprehensive solution for organizations requiring a dedicated messaging environment. The platform distinguishes itself through a hybrid backend architecture that combines a robust web framework for standard requests with an asynchronous event-streaming

Implements static type checking to ensure code correctness and reliability.