compiler-analysis

Here are 3 public repositories matching this topic...

Alpha-Park / genpark-abstract-interpretation-interval-domain-skill

Abstract Interpretation static analyzer using the numeric Interval Domain to prove buffer bounds safety and absence of division-by-zero errors.

mcp static-analysis interval-arithmetic formal-verification abstract-interpretation dataflow-analysis python-standard-library soundness agent-skills compiler-analysis widening-narrowing

Updated Sep 28, 2026
Python

alphaparkinc / genpark-abstract-interpretation-interval-domain-skill

Star

Abstract Interpretation static analyzer using the numeric Interval Domain to prove buffer bounds safety and absence of division-by-zero errors.

mcp static-analysis interval-arithmetic formal-verification abstract-interpretation dataflow-analysis python-standard-library soundness agent-skills compiler-analysis widening-narrowing

Updated Sep 28, 2026
Python

Zzz-Pranjal-Kundu / SyncIDE

Star

An interactive web-based IDE and compiler analysis platform. Features real-time visual tokenization (lexical analysis), abstract syntax tree generation, semantic checking, and intermediate code translation, powered by an optimized Monaco Editor, Convex cloud backend, and Next.js.

education web-ide reactjs nextjs developer-tools monaco-editor ast-parser lexical-analyzer convex clerk-auth compiler-analysis

Updated May 24, 2026
TypeScript

Add this topic to your repo

To associate your repository with the compiler-analysis topic, visit your repo's landing page and select "manage topics."

Learn more