A PEG Parsing Tool
Static Python Code Analyzer
A Lean (4) type checker written in RPython
An experimental type checker for validating your Jinja templates context and syntax before runtime through inline annotations
100% conformant type checker in 15 lines of code
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.
A static PyTorch tensor shape checker library, and IDE extension
A lexer, parser, and interpreter for a made up set of grammar rules. These grammars form a programming language called MyPL.
Mirror of the `pyre-check` package for pre-commit.
Standalone compiler for a typed Python subset targeting Linux x86-64, with functions, tuples, register allocation, and garbage collection.
Pytest plugin for replacing reveal_type() calls with static and runtime type checking result comparison
Pascal Interpreter & custom Bytecode VM with Interactive Shell
Simple dynamic Python type checker
A Python3 decorator for automated checking of function-call argument types/values using std-lib ‘inspect'.
🐍 Folders and files for new Python repository. Using uv environment, security pip-audit, pytest & pytest-cov, ruff linting rules, recommended VSC settings etc. 🚀
PEP 827 type manipulation library for Python 3.14+. Runtime type evaluation and transformation operators inspired by TypeScript.
A tiny typed programming language compiler that emits readable Python
Add a description, image, and links to the type-checker topic page so that developers can more easily learn about it.
To associate your repository with the type-checker topic, visit your repo's landing page and select "manage topics."