Adds static typing to JavaScript to improve developer productivity and code quality.
Repository Index
47,133 repositories indexed
1–24 of 38 · Most stars
⭐️ A friendly language for building type-safe, scalable systems!
- gleam
- programming-language
- compiler
- erlang
Optional static typing for Python
- python
- types
- typing
- typechecker
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
A PHP parser written in PHP
Static Type Checker for Python
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
- php
- static-analysis
- phan
- analysis
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
- groovy
- jvm-languages
- programming-language
- metaprogramming
A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead
- java
- static-analysis
- android
- nullability
Unbearably fast near-real-time pure-Python runtime-static type-checker.
- python3
- runtime-typechecking
- static-typechecking
A fast, feature-rich static code analyzer & language server for Python
Compile shell scripts to static binaries.
Header-only, event based, tiny and easy to use libuv wrapper in modern C++ - now available as also shared/static library!
- libuv
- header-only
- wrapper
- uvw
Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.
- code-analysis
- code-transformation
- metaprogramming
- code-generation
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
- functional-programming
- common-lisp
- type-safety
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
- liquidsoap
- streaming
- webradio
Next-gen phpDoc parser with support for intersection types and generics
- phpstan
- static-analysis
- php
- php7
Static type checker for Ruby
- ruby
- typechecker
Python Type Checker / Language Server
- autocompletion
- language-server-protocol
- mypy
- python
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
A modern supercompiler for call-by-value functional languages
A Python type checker
When you publish your Blazor Wasm app, this package pre-renders and saves the app as static HTML files in your public folder.
- blazor
- blazor-webassembly
- prerendering
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
- micropython
- vscode
- type-checking
- static-typing