A PEG Parsing Tool
Static Python Code Analyzer
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 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.
A Python3 decorator for automated checking of function-call argument types/values using std-lib ‘inspect'.
Simple dynamic Python type checker
Pytest plugin for replacing reveal_type() calls with static and runtime type checking result comparison
control types of variables in runtime
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."