prga
Software Engineering Professor and Researcher at Universidade Federal do Cariri
Universidade Federal do CaririBrazil
Pinned Repositories
branchvstrunk
cc0003
Repositório para atividades da disciplina de Introducão à Computação da UFCA
conflictPatternResults
conflictsAnalyzer
Course
curso
depuracao
devnumber
Analyzing the number of different devs in conflicting merge scenarios
diaspora
A privacy-aware, distributed, open source social network.
sat
Repositorio para guardar as informações sobre o projeto SAT solver
prga's Repositories
prga/cc0003
Repositório para atividades da disciplina de Introducão à Computação da UFCA
prga/sat
Repositorio para guardar as informações sobre o projeto SAT solver
prga/branchvstrunk
prga/conflictPatternResults
prga/conflictsAnalyzer
prga/Course
prga/curso
prga/depuracao
prga/devnumber
Analyzing the number of different devs in conflicting merge scenarios
prga/diaspora
A privacy-aware, distributed, open source social network.
prga/disciplinas_ufca
prga/featurehouse
language independent software composition and merging
prga/gitminer
Java based tools for extracting information from GitHub and git repositories into a graph database
prga/GremlinQuery
prga/jFSTMerge
Semistructured merge tool for java applications.
prga/knot-service-source
KNoT Service is part of KNoT project. It aims to provide a "proxy" service between KNoT Things and KNoT Cloud, allowing power constrained embedded device to interact with cloud services. The initial target platform are PAN devices, and Raspberry Pi GW. The PAN device used is a highly integrated, ultra low power (ULP) 2Mbps RF transceiver IC for the 2.4GHz ISM band (NRF24L01). On a second project phase, other radio access technologies such as LPWAN devices, Mesh devices, 3G Devices, Bluetooth Low Energy Devices, and Wi-Fi Devices are planned.
prga/merganser
Merganser is a scalable and extendable tool for analyzing merge scenarios in git repositories
prga/minicurso
prga/miningGit
prga/onlineAppendix
prga/primeiroprojeto
prga/repo_brisa
prga/Singularity
Scheduler (HTTP API and webapp) for running Mesos tasks—long running processes, one-off tasks, and scheduled jobs. #hubspot-open-source
prga/Spout
Open source, multithreaded, voxel game engine and platform, written in Java.
prga/study_data
prga/teste
prga/Teste2
prga/TGM
Case Study to learn how git handles different textual conflicts scenarios
prga/travis-broken-example
An example that will cause a build failure
prga/tutorial_git