A fast type checker and language server for Python
Repository Index
47,133 repositories indexed
1–13 of 13 · Most stars
The P programming language.
- asynchronous
- programming-language
- systematic-testing
- event-driven
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
- based
- pylance
- pyright
- python
Unbearably fast near-real-time pure-Python runtime-static type-checker.
- python3
- runtime-typechecking
- static-typechecking
The type signature language for Ruby
- ruby
- type-checking
Python Type Checker / Language Server
- autocompletion
- language-server-protocol
- mypy
- python
C# discriminated union source generator
- csharp
- discriminated-unions
- dotnet
- functional-programming
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
- algebraic-data-types
- optics
- functional-programming
- algebra
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
- python
- typechecking
- override
- pep484
Decorator which checks whether the function is called with the correct type of parameters.
- python
- type-checking
- runtime-checking
- typechecking
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations