Pinned Repositories
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.
FunBlocks
The FunBlocks programming environment
FunToddlerLearn
Android application that aims to help toddlers learn French with audio and visual cues.
Kaggle-future-sales-prediction
RERD-tool
This is a Requirement Engineering tool that supports model based design using the BIP component framework.
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)
emmastac's Repositories
emmastac/FunToddlerLearn
Android application that aims to help toddlers learn French with audio and visual cues.
emmastac/RERD-tool
This is a Requirement Engineering tool that supports model based design using the BIP component framework.
emmastac/FunBlocks
The FunBlocks programming environment
emmastac/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
emmastac/CombiTest
emmastac/docker-images
Official source of container configurations, images, and examples for Oracle products and projects
emmastac/emmastac
Config files for my GitHub profile.
emmastac/Kaggle-future-sales-prediction
emmastac/SmallJava
Various demo solutions for small problems in Java
emmastac/Text2BIP
Code generator for formal description models in BIP2 (https://www-verimag.imag.fr/TOOLS/DCS/bip/doc/latest/html/index.html)