This repo contains the project files for model checking robotic systems considering environmental constraints.

IE6 ActiveX control for uploading and resizing images at the same time

A tableau-based satisfiability checker for ATL* — Alternating-time Temporal Logic

Practical work about reverse engineering using Ecore, ATL, Acceleo/MTL

an experiment to launch the good old IE

🔍 Powerful Windows COM interface extractor for developers and reverse engineers. Outputs C++-ready interface definitions with RVA offsets

Domain Specific Transformation For Human Computer Interfaces Generation (build on Higher Order Transformation)

Repository containing my solution for the Python Project Exercise in the ATL Tinkerpreneur 2023 Programme.

Fork of the official Windows Template Library (WTL) Git repository

script editor and host, uses Scintilla

A Windows extension that is used to copy file(s)'s path through context menu.

A COM text-searcher object implemented using ATL, using C# as a client

A clean-room, minimal reimplementation of Microsoft's Active Template Library (ATL) for the MinGW compiler toolchain.

FigmaToReact : Convert Figma designs to React apps automatically using MDA and formal model transformations.

An ATL C++ Out-Of-Process COM server and clients (C++, .NET, VBscript) sample.

A Windows extension that is used to open applications quickly through context menu.

An object-oriented gradle-based project ready to run ATL/EMFVM transformations