This guide details creating a secure Linux production system. OpenSCAP (C2S/CIS, STIG).
Repository Index
47,133 repositories indexed
49–72 of 509 · Most stars
Combination of multiple linters to run as a GitHub Action or standalone
Open-source cron job and background task monitoring service, written in Python & Django
- cron
- devops
- cron-jobs
- monitoring
Find newer versions of package dependencies than what your package.json allows
- npm
- npm-check-updates
A simple, beautiful, and embeddable JavaScript Markdown editor. Delightful editing for beginners and experts alike. Features built-in autosaving and spell checking.
The Docker Bench for Security is a script that checks for dozens of common best-practices around deploying Docker containers in production.
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.
Prevent cloud misconfigurations and find vulnerabilities during build-time in infrastructure as code, container images and open source packages with Checkov by Bridgecrew.
Micro check library
Go security checker
- golang
- security
- security-tools
- security-automation
A fast type checker and language server for Python
Staticcheck - The advanced Go linter
- linters
- static-analysis
- linter
- staticcheck
static analysis of C/C++ code
- cppcheck
- c-plus-plus
- static-analysis
- cross-platform
Check for outdated, incorrect, and unused dependencies.
Minecraft: Java Edition 26.3 rewritten from scratch in Rust, checked against vanilla with 281 differential harnesses. Get it with the Horizon launcher.
- differential-testing
- game-engine
- linux
- minecraft
A Node.js style checker and lint tool for Markdown/CommonMark files.
Check if a number is equal to 13.
Quick and Easy server testing/validation
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
🔰 Instant PHP quality checks from your console
- php
- static
- analytics
- code
OSSEC is an Open Source Host-based Intrusion Detection System that performs log analysis, file integrity checking, policy monitoring, rootkit detection, real-time alerting and active response.
- hids
- security
- pci-dss
- nist800-53
Receive notifications when an image is updated on a Docker registry
- docker
- registry
- update
- watch
:ballot_box_with_check: [Cheatsheet] Tips and tricks for Android Development
- android-development
- android-studio
- gradle
- cheatsheet
A light-weight, flexible, and expressive statistical data testing library
- pandas
- validation
- schema
- dataframes