Pinned Repositories
2019_ResearchPortugal
Esta é uma apresentação com objetivo de aperfeiçoar a colaboração entre instituições.
2019_TAP
This repository has our presentation on conference Tests and Proofs 2019 at Portugal.
Adafruit-Fingerprint-Sensor-Library
Arduino library for interfacing to the fingerprint sensor in the Adafruit shop
ANPRwithPython
Apresentacoes
b2asm
Using B to model instruction sets of micro-controllers (Automatically exported from code.google.com/p/b2asm)
BEval
BEval is a tool to systematize the evaluation of B expressions from AtelierB using the different parameters with ProB.
Control-Systems-of-Launch
Sistema de controle de lançamento
DiscTestesSoftware
suapi
Clientes para acesso à API do SUAP
ValerioMedeiros's Repositories
ValerioMedeiros/DiscTestesSoftware
ValerioMedeiros/2019_ResearchPortugal
Esta é uma apresentação com objetivo de aperfeiçoar a colaboração entre instituições.
ValerioMedeiros/2019_TAP
This repository has our presentation on conference Tests and Proofs 2019 at Portugal.
ValerioMedeiros/ANPRwithPython
ValerioMedeiros/Apresentacoes
ValerioMedeiros/Atividades_TSI_IoT
ValerioMedeiros/felipy
Free educational library in python
ValerioMedeiros/Apresentacoes_Testes_Software_2024.2
Este
ValerioMedeiros/awesome-software-architecture
A curated list of awesome articles, videos, and other resources to learn and practice software architecture, patterns, and principles.
ValerioMedeiros/C4-PlantUML
C4-PlantUML combines the benefits of PlantUML and the C4 model for providing a simple way of describing and communicate software architectures
ValerioMedeiros/entrada_carros
Sistema de cadastro com suporte a leitura de QRcode e recebimento de mensagens via MQTT.
ValerioMedeiros/exercicioIot
Para atividade da aula de Programação da IOT
ValerioMedeiros/Experience_ArtificialInteligence
ValerioMedeiros/free-python-games
Free Python Games
ValerioMedeiros/geodata-br
Arquivos Geojson com perímetros dos municípios brasileiros por estado ( Brasil / Brazil )
ValerioMedeiros/ifrn-geeks
Site do IFRN Geeks
ValerioMedeiros/llvm-wasm
The most minimal wasm llvm project
ValerioMedeiros/markdown-preview-enhanced
One of the 'BEST' markdown preview extensions for Atom editor!
ValerioMedeiros/mermaid
Generation of diagram and flowchart from text in a similar manner as markdown
ValerioMedeiros/Modelos_de_documentos
O objetivo deste repositório é prover modelos de documentos acadêmicos.
ValerioMedeiros/my-projects-manager
🖱️ 🖥️ 👨💻 A simple GitHub's markdown page to check and manage all my academic, R&D and personal/non-academic projects.
ValerioMedeiros/nodered-heroku
Just aNO(t)DEr nodered for heroku
ValerioMedeiros/pandoc-examples
ValerioMedeiros/Reveals_with_quiz
Este exemplo contém um questionário de perguntas usando reaveals. Um exemplo interessante para trabalhos educacionais.
ValerioMedeiros/SCEFA
ValerioMedeiros/tartaruga_artista
Projeto com fins educativos para ensino/aprendizagem de introdução à programação
ValerioMedeiros/TesteRepo
Repositório de teste (exemplo didático)
ValerioMedeiros/ValerioMedeiros.github.io
Personal page
ValerioMedeiros/Vazio
ValerioMedeiros/vivliostyleBook
⚡️ Fast & frictionless book template generator.