TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
- typescript
- javascript
- language
- typechecker
Repository Index
47,133 repositories indexed
1–24 of 36 · Most stars
Optional static typing for Python
- python
- types
- typing
- typechecker
An extremely fast Python type checker and language server, written in Rust.
Static Type Checker for Python
A fast type checker and language server for Python
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
A fast, powerful type checker designed for Ruby
- ruby
- types
- sorbet
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
A fast, feature-rich static code analyzer & language server for Python
Rust port of the TypeScript 7 type checker
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
- clang
- cpp
- c
- clang-tidy
The type signature language for Ruby
- ruby
- type-checking
Run-time type checker for Python
Static type checker for Ruby
- ruby
- typechecker
Python Type Checker / Language Server
- autocompletion
- language-server-protocol
- mypy
- python
C# discriminated union source generator
- csharp
- discriminated-unions
- dotnet
- functional-programming
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
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
A Python type checker
Mypy static type checker plugin for Pytest
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
- python
- typechecking
- override
- pep484