lzmartinico

dotfiles

Configuration files using org-babel

addition-question-generator

alexa-gas-finder

android-bloatware

Keeping tracking of Bloatware that is safe to disable.

awesome-mac-os-apps-helper

Small utility to generate markdown description with images for repositories

awesome-privacy-wins

:sunglasses: Awesome list of stories where cybersecurity and privacy have helped make the world a better place

biblio.el

Browse and import bibliographic references from CrossRef, DBLP, HAL, arXiv, Dissemin, and doi.org from Emacs

HackTheBurgh2018

botium-core

The Selenium for Chatbots

BroncoHack2017

chromebrew

Package manager for Chrome OS

europecv2013

Unofficial LaTeX class for European curricula 2013

FightWithFriendsMobile

gemini-scripts

Various helper scripts for setting up Gemini PDA

gitignore

A collection of useful .gitignore templates

HackCambridgeTernary

healthbot

indoor-localization

BLE demos using mbed OS and mbed cli

m-cli

 Swiss Army Knife for macOS

minf1-dissertation

nixpkgs

Nix Packages collection

nmt_toolkit

Materials for the second assignment of INFR 11157.

open-source-mac-os-apps

🚀 Awesome list of open source applications for macOS.

org-ref

org-mode modules for citations, cross-references, bibliographies in org-mode and useful bibtex tools to go with it.

plfa.github.io

Introduction to programming language theory in Agda.

podcast-scripts

qubes-app-split-ssh

Split SSH implementation for QubesOS

RandomWikipediaFacts

StreetComplete

OSM Surveyor app for Android

TUI-ConsoleLauncher

Linux CLI Launcher for Android