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

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

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.

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

WIP COM EXE Server

A comprehensive WTL 10.0 test application built with OpenATL and llvm-mingw, demonstrating that WTL programs can be compiled and run using the MinGW toolchain -- enabling Windows WTL application builds on non-Windows platforms (macOS, Linux).

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

Redo of DirectX 11 lessons

The ATL* logic reasoner TATL*

Demonstrates a quadtree for spatial indexing of triangles.

Analytical modeling of industrial hazards by means of Gert nets (VB6, Visual C++ 6, ATL, 2001)

Simple ATL Demo

University project focused on modeling network architectures using Eclipse Modeling Framework (EMF). Includes components like gateways, routers, switches, VLANs, and WiFi access points. The project emphasizes the use of formal modeling techniques and OCL constraints to ensure consistency and accuracy in network representations.

The Virasat is a web-based platform for combining the heritage and cultural traditions of Jaipur under one name