Repository Index

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

• clang
• cpp
• c
• clang-tidy

A Flask extension to access, upload, download, save and delete files on cloud storage providers such as: AWS S3, Google Storage, Microsoft Azure, Rackspace Cloudfiles, and even Local file system

Android Mobile Device Hardening

• forensic
• security
• hardening
• android-security

Jupyter kernel for Coq

• coq
• jupyter
• kernel
• jupyter-kernels

Guides and scripts for Claude Code on WSL2: screenshot paste, Windows notifications, LSP, and statusline.

• anthropic
• claude-code
• developer-tools
• windows-terminal

Cryptographic Dataset Generation & Modelling Framework

• cryptography
• deep-learning
• deep-neural-networks
• machine-learning

Xonsh Jupyter kernel allows to run Xonsh shell code in Jupyter, JupyterLab, Euporie, etc.

• xonsh
• xontrib
• jupyter
• jupyter-notebook

Aldertech Dynamic Resource Governor — A kernel-level resource manager for high-density Docker stacks on Raspberry Pi and low-power servers.

• automation
• cgroupv2
• docker
• homelab