Cambridge Core - Logic, Categories and Sets - Handbook of Practical Logic and Automated Reasoning

Curated toplist of everything Otaku culture. Up to date reviews of best anime/manga websites and apps with detailed pros, and cons for each.

An open-source AI agent that brings the power of Gemini directly into your terminal. - google-gemini/gemini-cli

awesome-linux-rootkits. Contribute to milabs/awesome-linux-rootkits development by creating an account on GitHub.

🌀 A log file highlighter. Contribute to bensadeh/tailspin development by creating an account on GitHub.

⬛️ CLI tool and library for saving complete web pages as a single HTML file - Y2Z/monolith

Servers — whether used for testing or production — are primary targets for attackers. By taking the proper steps, you can turn a vulnerable box into a hardened server and help thwart outside attackers. Learn how to tighten Secure Shell (SSH) sessions, configure…

Useful IT policies. Contribute to lfit/itpol development by creating an account on GitHub.