verifast/verifast
on GitHub
Research prototype tool for modular formal verification of C, Rust and Java programs
Languages:
OCaml
Rust
bitnami/kubernetes-event-exporter
on Docker Hub
Bitnami container image for Kubernetes Event Exporter
postgrespro/pg_probackup
on GitHub
Backup and recovery manager for PostgreSQL
archiving
backup
incremental-backups
postgresql
recovery
restore
wall
Languages:
Python
C
import-js/eslint-plugin-import
on GitHub
ESLint plugin with rules that help validate proper imports.
code-quality
eslint
eslint-plugin
hacktoberfest
import
javascript
lint
linting
Language:
JavaScript
victoriametrics/vmagent
on Docker Hub
Agent for collecting metrics from various sources, filtering and sending them to VictoriaMetrics
jaegertracing/jaeger-agent
on Docker Hub
deprecated, see https://github.com/jaegertracing/jaeger/issues/4739.
openmoh/openmohaa
on GitHub
Open re-implementation of Medal of Honor: Allied Assault including Spearhead and Breakthrough expansions with modern features and bugfixes from ioquake3 with cross-platform support
@storybook/addon-a11y
on Node.js NPM
Test component compliance with web accessibility standards
a11y
accessibility
addon
storybook
valid
verify
test
stamparm/maltrail
on GitHub
Malicious traffic detection system
attack-detection
intrusion-detection
malware
network-monitoring
python
security
sensor
Languages:
Python
JavaScript