Pinned

1. gnome-shell-extension-clipboard-indicator gnome-shell-extension-clipboard-indicator Public

   Forked 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

2. LambdaAritmetica-CRA LambdaAritmetica-CRA Public

   Aritmética natural, entera, modular y de matrices en scheme para la asignatura Conocimiento y Razonamiento Automatizado en la UAH.

   Racket

3. sudoku-solver sudoku-solver Public

   Script for resolving sudokus

   JavaScript

4. cipher cipher Public

   Browser extension for encrypt/decrypt editable fields like emails, pastes...

   JavaScript 4 3

5. c-lock c-lock Public

   A TOTP based port knocking service. Every time slot, it generates a sequence of ports that must be knocked (in a correct order) before the final port (it have been designed for protecting a SSH ser…

   Python 25 3

6. tfhe-math tfhe-math Public

   Math library for TFHE (Gitlab mirror)

   C++ 2