Awesome GitHub RepositoriesStatically Typed Compilers

Scala is a statically typed programming language and compiler that combines object-oriented and functional programming paradigms. It serves as a cross-platform runtime language capable of targeting the Java Virtual Machine and JavaScript to share logic between backend servers and web frontends. The project provides a functional programming framework with immutable data structures and higher-order functions to build reliable concurrent and distributed applications. It distinguishes itself through deep interoperability with Java and JavaScript ecosystems and the ability to transform code into n

The Concise TypeScript Book: A Concise Guide to Effective Development in TypeScript. Free and Open Source.

ReScript is a statically typed programming language and compiler designed to transform type-safe source code into efficient, human-readable JavaScript. It functions as a transpiler that enforces data consistency and prevents runtime errors through static type analysis for both web and server applications. The project distinguishes itself as an incremental build system that analyzes dependency graphs to recompile only modified files and their dependents. It includes a JSX compatible compiler for building user interfaces and provides a framework for bridging type-safe code with existing JavaScr

Scala 3 is an open-source, statically typed programming language that compiles to JVM bytecode, combining object-oriented and functional programming paradigms. Its core identity is defined by a sophisticated type system that includes traits, generics, union types, and a dependent object type system where types can depend on runtime values through path-dependent and singleton types. The language distinguishes itself through several advanced type-level and metaprogramming capabilities. It features a contextual abstraction mechanism using given instances and using clauses for compile-time implic

Carp is a statically typed Lisp compiler that compiles Lisp-like syntax directly to C source code, enabling seamless integration with existing C libraries and low-level system programming. It manages memory deterministically at compile time using ownership tracking and linear types, eliminating garbage collection pauses and runtime overhead while ensuring type safety through an inferred static type system. The language distinguishes itself through compile-time macro expansion and metaprogramming capabilities, allowing code generation and transformation before final binary output. It enforces

Borgo 是一种静态类型语言和编译器，可将高级语法转换为 Go 源代码。它作为转译器，旨在利用 Go 运行时，同时引入以代数数据类型和基于结果的错误处理为核心的类型系统。 该语言的特色在于用 Result 和 Option 类型替换了 Go 的多返回值，并使用专用运算符进行简洁的错误传播。它实现了具有穷尽模式匹配的求和类型，并提供了一个为现有 Go 包生成绑定的工具，自动将多值返回转换为这些更安全的类型包装器。 该系统包含用于并发编程的原语，利用类型化通道和后台任务来协调异步进程。其类型系统进一步支持结构化接口实现、自动集合类型推断以及用于在结构体上组织方法的实现块。

Angular Seed 是一个项目引导框架，为 Angular 应用程序提供了预配置的构建系统和标准项目结构。它为创建具有集成部署目标的 Web、移动和桌面应用程序奠定了基础。 该框架通过多应用程序工作区支持脱颖而出，允许多个应用程序实例驻留在单个代码库中以共享逻辑和资源。它包括用于在开发、测试和生产阶段切换 API 端点和配置设置的专用环境管理。 该项目涵盖了广泛的能力，包括通过预编译 (AOT) 进行生产包优化，以及用于运行时环境标准化的容器化。它结合了开发工作流，包括代码覆盖率单元测试、自动化端到端浏览器测试以及自动化 API 文档生成。

The Haskell Language Server is an implementation of the Language Server Protocol that provides real-time diagnostics, code navigation, and refactoring support for Haskell projects. It functions as a backend service that enables advanced editing capabilities within standard text editors by facilitating communication between the development environment and the Haskell compiler. The project distinguishes itself through a modular, plugin-based architecture that allows for the integration of independent components for specific language features. It leverages the host compiler as a library to perfo