André Breda's repositories
compiladores
ICE is bad and you should feel bad
aleabft-website
WIP Alea-BFT website
autenticacao.gov
Middleware Oficial de Identificação Eletrónica em Portugal - Cartão de Cidadão, da Chave Móvel Digital e Sistema de Certificação de atributos profissionais
BlocklyDuino
BlocklyDuino is a web-based visual programming editor for arduino.
Criador-Horarios
Ferramenta para criar horários.
electron-rebuild
Package to rebuild native io.js modules against the currently installed Electron version
groundstation
Groundstation software for the CanSat Júnior 2020 competition
JavaCall.jl
Call Java from Julia
lbry-app
The LBRY app built using electron
mir-slurm
Collection of scripts to benchmark Mir in a Slurm cluster
mmap-vec
Rust memory mapped vector
nixpkgs
Nix Packages collection
packer-builder-arm-image
Packer plugin for ARM images
proj-ist-unit-tests
Online Unit Tests for IST projects
Project-Topics-2021_1
SIRS project topics for the 1st semester of academic year 2020/21
sec
carcinized
shellcheck
ShellCheck, a static analysis tool for shell scripts
swayidle
Idle management daemon for Wayland
tonic
A native gRPC client & server implementation with async/await support.
xo
❤️ Happiness JavaScript linter
yarn_completion
yarn command completion for zsh