ValerioMedeiros

books

o armazém de livros

20232_Estatistica_para_Engenharia

Repositório da disciplina de Estatística para Engenharia Civil - IFRN - 2023.2

pycaret

An open-source, low-code machine learning library in Python

huginn

Create agents that monitor and act on your behalf. Your agents are standing by!

awesome-software-architecture

🚀 A curated list of awesome articles, videos, and other resources to learn and practice software architecture, patterns, and principles.

alpr-unconstrained

License Plate Detection and Recognition in Unconstrained Scenarios

alpr-unconstrained

License Plate Detection and Recognition in Unconstrained Scenarios (Ported to Python3 and with Docker support)

docker-volumes.sh

The docker-export and docker-commit commands do not save the container volumes. Use this script to save and load the container volumes.

mulheresdeatenas2

maratona-firewall

Pacote que isola o competidor da rede

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.

BToolkit

The BToolkit, a toolkit supporting software development with the B-method.

b2llvm

LLVM code generator for the B method.

horario-par-2015-1-pdf

Horários do IFRN de Parnamirim 2015.1 versão PDF

JPlag

State-of-the-Art Software Plagiarism & Collusion Detection

eboc

EventB Model Checker

creduce

C-Reduce, a C program reducer

probparsers

ProB Parser library