CN separation logic refinement type system for C. Contribute to rems-project/cn development by creating an account on GitHub.

Delta Chat is a decentralized and secure messenger app 💬 Reliable instant messaging with multi-profile and multi-device support ⚡️ Sign up to secure fast chatmail servers or use classic e-mail serv...

Operating system

Mat Ryer, principal engineer at Grafana Labs and host of the Go Time podcast, shares what he's learned from more than a dozen years of writing HTTP services in Go.

SQL Police Department is an online game where you solve crimes using SQL (and learn SQL in the process). Learn SQL while playing a game!

Use SQL queries to solve the murder mystery. Suitable for beginners or experienced SQL sleuths.

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.

This document describes security in the Debian project and in the Debian operating system. Starting with the process of securing and hardening the default Debian GNU/Linux distribution installation, it also covers some of the common tasks to set up a secure…