lzmartinico/awesome-privacy-wins
:sunglasses: Awesome list of stories where cybersecurity and privacy have helped make the world a better place
Repositories
lzmartinico/org-roam-bibtex
Org Roam integration with bibliography management software
lzmartinico/geometric-theorem-prover
lzmartinico/qubes-app-split-ssh
Split SSH implementation for QubesOS
lzmartinico/org-ref
org-mode modules for citations, cross-references, bibliographies in org-mode and useful bibtex tools to go with it.
lzmartinico/biblio.el
Browse and import bibliographic references from CrossRef, DBLP, HAL, arXiv, Dissemin, and doi.org from Emacs
lzmartinico/StreetComplete
OSM Surveyor app for Android
lzmartinico/nixpkgs
Nix Packages collection
lzmartinico/dotfiles
Configuration files using org-babel
lzmartinico/podcast-scripts
lzmartinico/nmt_toolkit
Materials for the second assignment of INFR 11157.
lzmartinico/m-cli
Swiss Army Knife for macOS
lzmartinico/awesome-mac-os-apps-helper
Small utility to generate markdown description with images for repositories
lzmartinico/open-source-mac-os-apps
🚀 Awesome list of open source applications for macOS.
lzmartinico/plfa.github.io
Introduction to programming language theory in Agda.
lzmartinico/minf1-dissertation
lzmartinico/healthbot
lzmartinico/botium-core
The Selenium for Chatbots
lzmartinico/chromebrew
Package manager for Chrome OS
lzmartinico/europecv2013
Unofficial LaTeX class for European curricula 2013
lzmartinico/android-bloatware
Keeping tracking of Bloatware that is safe to disable.
lzmartinico/gemini-scripts
Various helper scripts for setting up Gemini PDA
lzmartinico/indoor-localization
BLE demos using mbed OS and mbed cli
lzmartinico/SFHacks2017
lzmartinico/HackTheBurgh2018
lzmartinico/HackCambridgeTernary
lzmartinico/gitignore
A collection of useful .gitignore templates
lzmartinico/TUI-ConsoleLauncher
Linux CLI Launcher for Android