junquera
Follow
🐈⬛
Information Security Researcher, PhD
Pinned Loading
-
gnome-shell-extension-clipboard-indicator
gnome-shell-extension-clipboard-indicator PublicForked from Tudmotu/gnome-shell-extension-clipboard-indicator
Clipboard Manager extension for Gnome-Shell - Adds a clipboard indicator to the top panel, and saves clipboard history.
JavaScript
-
LambdaAritmetica-CRA
LambdaAritmetica-CRA PublicAritmética natural, entera, modular y de matrices en scheme para la asignatura Conocimiento y Razonamiento Automatizado en la UAH.
Racket
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.