danipozo

telescope.nvim

Find, Filter, Preview, Pick. All lua, all the time.

pyo3

Rust bindings for the Python interpreter

criterion.rs

Statistics-driven benchmarking library for Rust

taskwarrior

Taskwarrior - Command line Task Management

ndarray

ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations

mini-lsm

A tutorial of building an LSM-Tree storage engine in a week.

InfiniTime

Firmware for Pinetime smartwatch written in C++ and based on FreeRTOS

rust-numpy

PyO3-based Rust bindings of the NumPy C-API

metrics

A metrics ecosystem for Rust.

lsp-ui

UI integrations for lsp-mode

grocy-android

ERP beyond your fridge, now on your phone – An awesome companion app for grocy

rofi-themes-collection

Themes Collection for Rofi Launcher

evil-escape

Customizable key sequence to escape from insert state and everything else in Emacs.

Ingenieria-Informatica

Repositorio colaborativo de apuntes y ejercicios del Grado en Ingeniería Informática de la Universidad de Granada

ctlc

(λ) Category theory and lambda calculus, Bachelor's thesis

twinkle-lite

A script that allows for the automatisation of multiple maintenance-related tasks on the Spanish Wikipedia.

Open-BioBand

Biometric Open Source wristband

pengarna

A web app for your finances :money_with_wings:

bachelor-thesis

Repository for my Bachelor's Thesis about the SAT problem.

latex-templates

:fish_cake: LaTeX templates I've made.

quantum-algorithms

Implementation of various quantum algorithms in Quipper

tfg

Trabajo de Fin de Grado del Doble Grado en Ingeniería Informática y Matemáticas de la Universidad de Granada

bukhgalter

A microservice to share expenses between friends WIP. Class project for the infrastructure subject

jq-docker

Docker image for latest jq

smart-plug

MQTT system using Mosquitto to measure power consumption

TFG

Repositorio para el trabajo fin de grado

dotfiles

rustgb

A gameboy emulator in rust

anarchy-linux

Anarchy Linux - An Arch Based Distro

cv

Curriculum vitae