This repository hosts two Python tools for the Pascal programming language: a lexical analyzer and a formatter. The lexical analyzer reads Pascal source code, identifies tokens, and reports lexical errors, while the formatter indents and cleans the source code to improve readability and structure.

A CLI tool that processes @pre, @post, and @invariant tags in functions, classes, and methods within a source file. It generates a modified version of the source code that automatically validates input conditions (@pre), result conditions (@post), and invariant conditions (@invariant).