type-checker
Here are 101 public repositories matching this topic...
Language:All
Sort:Most stars
A fast type checker and IDE for Python
- Updated
Jul 18, 2025 - Rust
A fast, feature-rich static code analyzer & language server for Python
- Updated
May 10, 2025 - Rust
🏝 automated contract testing via type checking for Elixir functions and mocks
- Updated
Nov 30, 2023 - Elixir
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
- Updated
Jul 18, 2025 - Rust
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
- Updated
Sep 6, 2023 - Rust
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
- Updated
Jul 3, 2025 - TypeScript
🚨 Enhanced TypeScript support for Parcel
- Updated
Dec 7, 2022 - TypeScript
Hypertypes - generic programming for heterogeneous recursive types
- Updated
Jan 12, 2025 - Haskell
TypeScript friendly Data validator for JavaScript.
- Updated
Mar 14, 2023 - TypeScript
Normalization by evaluation for Martin-Löf Type Theory with dependent records
- Updated
Jun 8, 2022 - Rust
Typeis. it's the smart and simple javaScript type checker
- Updated
Jul 28, 2021 - JavaScript
- Updated
Dec 8, 2023 - TypeScript
Experimental Python Type Checker and LSP 🔎
- Updated
Dec 12, 2024 - Rust
Swift type checking and semantic analysis for developer tools
- Updated
Mar 16, 2022 - Swift
A work-in-progress core language for Agda, in Agda
- Updated
Jun 12, 2025 - Agda
A PEG Parsing Tool
- Updated
Mar 13, 2021 - Python
An implementation of MacroML [Ganz, Sabry & Taha 2001]
- Updated
Dec 21, 2018 - OCaml
Improve this page
Add a description, image, and links to thetype-checker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thetype-checker topic, visit your repo's landing page and select "manage topics."