Adds static typing to JavaScript to improve developer productivity and code quality.
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
⭐️ A friendly language for building type-safe, scalable systems!
- gleam
- programming-language
- compiler
- erlang
A fast, feature-rich static code analyzer & language server for Python
Python Type Checker / Language Server
- autocompletion
- language-server-protocol
- mypy
- python
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436