typechecker
Here are 125 public repositories matching this topic...
Language:All
Sort:Most stars
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
- Updated
Dec 16, 2025 - TypeScript
Performant type-checking for python.
- Updated
Dec 17, 2025 - OCaml
A fast type checker and language server for Python
- Updated
Dec 18, 2025 - Rust
A static type analyzer for Python code
- Updated
Dec 17, 2025 - Python
A fast and correct TypeScript type checker and compiler with additional experiments
- Updated
Nov 27, 2025 - Rust
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
- Updated
Jul 13, 2020 - F#
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
- Updated
May 16, 2021 - Rust
🏝 automated contract testing via type checking for Elixir functions and mocks
- Updated
Jul 26, 2025 - Elixir
Python 3.5+ runtime type checking for integration testing and data validation
- Updated
Jun 2, 2024 - Python
Runtime Type Checks for TypeScript
- Updated
Nov 10, 2020 - TypeScript
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
- Updated
Nov 15, 2025 - TypeScript
🐍 The Mamba programming language, because we care about safety
- Updated
Aug 3, 2025 - Rust
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
- Updated
Sep 9, 2025 - OCaml
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
- Updated
Dec 10, 2025 - Python
Higher Kinded Type machinery for Java
- Updated
Feb 28, 2022 - Java
Improve this page
Add a description, image, and links to thetypechecker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thetypechecker topic, visit your repo's landing page and select "manage topics."