Beast code in Giters

Rui Lima's repositories

ProgramacaoAvancada

Repository to hold the projects done in the course Advanced Programming

Language:JavaBSD-3-Clause200

SistemasElevadaConfiabilidade

Repository to hold the work done for the Higly Dependable Systems Course

Language:JavaBSD-3-Clause2 20

DesenvolvimentoAplica-esWeb

Language:Java1 10

DifFuzzAR

Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities

Language:JavaBSD-3-Clause1 3 8

JavaScriptTutorials

A repository to host the files used in the workshop nodeschool.io

Language:JavaScriptUnlicense100

ktor

Framework for quickly creating connected applications in Kotlin with minimal effort

Language:KotlinApache-2.0100

PasswordGeneration

Password generation build in Gallina and Extracted to Ocaml

Language:OCaml1 10

QuickChick

Randomized Property-Based Testing Plugin for Coq

Language:CoqNOASSERTION1 10

SI2

Repositório para guardar os trabalhos de SI2

Language:C#010

17-18-1-LI51D

Código apresentado nas aulas da turma LI51D

Language:Kotlin010

1718i-LI52D

Repositório de PI para a turma LI52D - Semestre de Inverno 2017-2018

GPL-3.0000

AED

Language:Java000

Assembly_code

A assembly code to make the quick_sort acording to function qsort of the standard c library

Language:Assembly000

AuthMeReloaded

The best authentication plugin for the Bukkit/Spigot API!

GPL-3.0000

AVE

Language:C#000

diffuzz

Language:JavaApache-2.0000

hello-world

My first repository

010

node-gyp

Node.js native addon build tool

MIT000

SI

Language:Java000

testRepoForCI

A test repository that is used to work with the CI.

000

TrabalhosDePC

A repo with work done to Concorrent Programming Class.

Language:C#02 11