girror's repositories
personal-security-checklist
🔒 A curated checklist of 300+ tips for protecting digital security and privacy in 2021
pysat
A toolkit for SAT-based prototyping in Python
alphaicon
α-Indirect Control in Onion-like Networks
ArchiveBox
🗃 Open source self-hosted web archiving. Takes URLs/browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more...
e-maxx-eng
Translation of http://e-maxx.ru into English
GamestonkTerminal
The next best thing after Bloomberg Terminal
gbplanner_ros
Graph-based Exploration Planner for Subterranean Environments
git-crypt
Transparent file encryption in git
list-of-python-api-wrappers
List of Python API Wrappers and Libraries
mav_voxblox_planning
MAV planning tools using voxblox as the map representation.
ml-interviews-book
https://huyenchip.com/ml-interviews-book/
napkin
An Infinitely Large Napkin
obsidian-git
Backup your Obsidian.md vault with git
obsidian-remarkable
Integrates the reMarkable tablet into an Obsidian workflow by letting users quickly capture and insert their drawings.
or-tools
Google's Operations Research tools:
Rust
All Algorithms implemented in Rust
stack-on-a-budget
A collection of services with great free tiers for developers on a budget. Sponsored by Mockoon, the best mock API tool. https://mockoon.com
stat_rethinking_2022
Statistical Rethinking course winter 2022
tz
Time zone database and code
YubiKey-Guide
Guide to using YubiKey for GPG and SSH