type-checker
Here are 12 public repositories matching this topic...
A Lean (4) type checker written in RPython
-
Updated
Jul 27, 2025 - Python
Pytest plugin for replacing reveal_type() calls with static and runtime type checking result comparison
-
Updated
Sep 1, 2025 - Python
This repository contains the core components of our Recursive Student Programming Language Compiler Construction and Design project. The project aims to implement a complete compiler, including lexical analysis, parsing, semantic analysis, and code generation.
-
Updated
Jun 11, 2025 - Python
Mirror of the `pyre-check` package for pre-commit.
-
Updated
Oct 30, 2024 - Python
A Python3 decorator for automated checking of function-call argument types/values using std-lib ‘inspect'.
-
Updated
Sep 13, 2023 - Python
Static Python Code Analyzer
-
Updated
Mar 6, 2023 - Python
A PEG Parsing Tool
-
Updated
Mar 13, 2021 - Python
Simple dynamic Python type checker
-
Updated
Jan 17, 2021 - Python
control types of variables in runtime
-
Updated
Jan 14, 2021 - Python
A lexer, parser, and interpreter for a made up set of grammar rules. These grammars form a programming language called MyPL.
-
Updated
Mar 26, 2017 - Python
Improve this page
Add a description, image, and links to the type-checker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-checker topic, visit your repo's landing page and select "manage topics."