Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: programming-language-tools

ioncakephper/contract-shield-cli

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).

Language: JavaScript - Size: 137 KB - Last synced at: 12 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 0

alexjilavu29/Lexical-Analyzer-And-Formatter-PASCAL

This GitHub 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.

Language: Python - Size: 32.2 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

Related Keywords
source-code-analysis 2 programming-language-tools 2 python 1 pascal-programming 1 pascal 1 lexical-analysis 1 compiler-design 1 compiler 1 code-formatter 1 verification-framework 1 static-analysis 1 source-code-modification 1 software-engineering 1 secure-coding 1 runtime-verification 1 runtime-analysis 1 program-verification 1 preconditions-postconditions 1 invariants-checking 1 formal-methods 1 developer-tools 1 design-by-contract 1 debugging-tools 1 contracts-validation 1 code-instrumentation 1 cli-tool 1 automated-testing 1