Stars
Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, rese…
A simple tool for visually comparing two PDF files
Improve Software Bill of Materials (SBOM) tooling and training to encourage adoption
Convert Confluence pages to clean, portable Markdown with images, draw.io diagrams, and PlantUML all included.
A novel Android app store focused on security, privacy, and usability
Get Android app updates straight from the source.
(D)ocker(F)ile (C)onverter: CLI to convert Dockerfiles to use Chainguard Images and APKs in FROM and RUN lines etc.
Github Actions grammar for tree-sitter
Sublime Syntax Definitions for YAML CI/CD pipelines like GitHub Actions, AzureDevops, Kong API Gateway, Gitlab CICD, Bitbucket, Drone CI, Helm (Kubernetes) etc.
Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available…
A simple threat modeling tool to help humans to reduce time-to-value when threat modeling
Authoring GitHub Actions workflows in Kotlin. You won't go back to YAML!
A Docker-based, browser-accessible Bitcoin wallet terminal application for use in conjunction with Ashigaru Whirlpool.
Lynis - Security auditing tool for Linux, macOS, and UNIX-based systems. Assists with compliance testing (HIPAA/ISO27001/PCI DSS) and system hardening. Agentless, and installation optional.
Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input fr…
Slim(toolkit): Don't change anything in your container image and minify it by up to 30x (and for compiled languages even more) making it secure too! (free and open source)
CIS Benchmark Converter is a Python script that extracts recommendations from CIS Benchmark PDF documents and exports them into CSV, Excel, or JSON formats. The script converts unstructured PDF con…
Find, verify, and analyze leaked credentials
An extension that detects starred, safe, unsafe or potentially unsafe sites using the FMHY Filterlist.
Wraps your package manager, preventing installation of malicious packages.
A complete course for learning Bitcoin programming and usage from the command
Usage of enabled-by-default hardening-related compiler flags across Linux distributions