Pinned Repositories
java-dependencies-analysis
Analyse Open Source dependencies in projects development. Aplication to analyse security and license aspects in Open Source project's dependencies, applicable to Java platform.
OSDA-Open-Source-Dependencies-Analysis
Analyse Open Source dependencies in projects development. Aplication to analyse security and license aspects in Open Source project's dependencies, applicable to Java, npm and .NET platforms.
DesenvolvimentoAplica-esWeb
DifFuzzAR
Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
JavaScriptTutorials
A repository to host the files used in the workshop nodeschool.io
ktor
Framework for quickly creating connected applications in Kotlin with minimal effort
PasswordGeneration
Password generation build in Gallina and Extracted to Ocaml
ProgramacaoAvancada
Repository to hold the projects done in the course Advanced Programming
QuickChick
Randomized Property-Based Testing Plugin for Coq
SistemasElevadaConfiabilidade
Repository to hold the work done for the Higly Dependable Systems Course
RuiDTLima's Repositories
RuiDTLima/DifFuzzAR
Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
RuiDTLima/ProgramacaoAvancada
Repository to hold the projects done in the course Advanced Programming
RuiDTLima/SistemasElevadaConfiabilidade
Repository to hold the work done for the Higly Dependable Systems Course
RuiDTLima/DesenvolvimentoAplica-esWeb
RuiDTLima/JavaScriptTutorials
A repository to host the files used in the workshop nodeschool.io
RuiDTLima/ktor
Framework for quickly creating connected applications in Kotlin with minimal effort
RuiDTLima/PasswordGeneration
Password generation build in Gallina and Extracted to Ocaml
RuiDTLima/QuickChick
Randomized Property-Based Testing Plugin for Coq
RuiDTLima/SI2
Repositório para guardar os trabalhos de SI2
RuiDTLima/17-18-1-LI51D
Código apresentado nas aulas da turma LI51D
RuiDTLima/1718i-LI52D
Repositório de PI para a turma LI52D - Semestre de Inverno 2017-2018
RuiDTLima/AED
RuiDTLima/Assembly_code
A assembly code to make the quick_sort acording to function qsort of the standard c library
RuiDTLima/AuthMeReloaded
The best authentication plugin for the Bukkit/Spigot API!
RuiDTLima/AVE
RuiDTLima/diffuzz
RuiDTLima/hello-world
My first repository
RuiDTLima/node-gyp
Node.js native addon build tool
RuiDTLima/SI
RuiDTLima/testRepoForCI
A test repository that is used to work with the CI.
RuiDTLima/TrabalhosDePC
A repo with work done to Concorrent Programming Class.