Pinned Repositories
binary-tree-ops
brazilian-utils
Utils library for specific Brazilian businesses
bridge-mqtt-influx
compactOrNot
contribute-to-open-source
Learn the GitHub workflow by contributing code in a fun simulation project
Contribute-To-This-Project
This project is waiting for your contribution. If you have never contributed code on GitHub before, this is the project to get you started.
CRGMToPRISM
In a nutshell, GODA (Goal-Oriented Dependability Analysis) is a framework for verification of goal models through probabilistic model checking, where contextual goal models are translated into PRISM and PARAM languages.
CSV-Reader-Spring_boot
folder-watcher-change
oathkeeper-keycloak