verifast/verifast
on GitHub
Research prototype tool for modular formal verification of C, Rust and Java programs
Languages:
OCaml
Rust
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
darkaonline/l5-swagger
on PHP Packagist
OpenApi or Swagger integration to Laravel
laravel
swagger
swagger
laravel
specification
swagger
openapi
@storybook/addon-a11y
on Node.js NPM
Storybook Addon A11y: Test UI component compliance with WCAG web accessibility standards
a11y
accessibility
storybook
storybook-addon
test
axe
WCAG
ARIA
component
components
react
vue
angular
svelte
web-components
stamparm/maltrail
on GitHub
Malicious traffic detection system
attack-detection
intrusion-detection
malware
network-monitoring
python
security
sensor
Languages:
JavaScript
Python