text-editor agnostic tool for personal knowledge management

A plain text note-taking assistant

Awesome Docker Compose samples

Free Images for EVE-NG and GNS3 containing routers, switches,Firewalls and other appliances, including Cisco, Fortigate, Palo Alto, Sophos and more. Master the art of networking and improve your sk…

The lazier way to manage everything docker

1000+ DevOps Bash Scripts - AWS, GCP, Kubernetes, Docker, CI/CD, APIs, SQL, PostgreSQL, MySQL, Hive, Impala, Kafka, Hadoop, Jenkins, GitHub, GitLab, BitBucket, Azure DevOps, TeamCity, Spotify, MP3,…

A post-modern modal text editor.

Plugin to improve viewing Markdown files in Neovim

OmniSharp server (HTTP, STDIO) based on Roslyn workspaces

VBoxManage bash completion

Intel® Hardware Accelerated Execution Manager (Intel® HAXM)

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

An extremely fast Python package and project manager, written in Rust.

A smarter cd command. Supports all major shells.

Cross-platform Rust rewrite of the GNU coreutils

An LLVM/Clang/LLD based mingw-w64 toolchain

A PowerShell module to show file and folder icons in the terminal

A new markup-based typesetting system that is powerful and easy to learn.

[Traduciendo] Nushell's main website, blog, book, and more

Fast Application Layer Scanner

ZMap is a fast single packet network scanner designed for Internet-wide network surveys.

The Z3 Theorem Prover

Lean 4 programming language and theorem prover

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Create ridiculously fast Lexers

Quick start ARM templates that deploy on Microsoft Azure Stack

Azure Quickstart Templates

Open Source Identity and Access Management For Modern Applications and Services

Resources for improving Customer Experience with Azure Network Security