emmastac

FunToddlerLearn

Android application that aims to help toddlers learn French with audio and visual cues.

RERD-tool

This is a Requirement Engineering tool that supports model based design using the BIP component framework.

FunBlocks

The FunBlocks programming environment

BPEL2BIPtranslator

Compiler for generating formal model specifications in BIP2 from BPEL source code. BIP documentation: https://www-verimag.imag.fr/TOOLS/DCS/bip/doc/latest/html/index.html

CombiTest

docker-images

Official source of container configurations, images, and examples for Oracle products and projects

emmastac

Config files for my GitHub profile.

Kaggle-future-sales-prediction

SmallJava

Various demo solutions for small problems in Java

Text2BIP

Code generator for formal description models in BIP2 (https://www-verimag.imag.fr/TOOLS/DCS/bip/doc/latest/html/index.html)