Resources on programming practices for safety-critical software.
- safety-critical
- safety-standards
- safety
- awesome-lists
Repository Index
47,133 repositories indexed
169–192 of 571 · Most stars
Modern(-ish) password hashing for your software and your servers
- python
A free AI assistant and survival library that runs on your own computer, with no internet needed. Shows the source of every answer.
Security Tool to Look For Interesting Files in S3 Buckets
- s3-bucket
- penetration-testing
- bugbounty
- enumeration
Convert your KiCAD board into a nicely looking 2D drawing suitable for pinout diagrams
- pcb
- pcb-diagram
- kicad
Python-based Bitcoin and alt-coin utility library.
- python
- bitcoin
- altcoins
- segwit
PostgreSQL® backup and restore service
- postgresql
- backup
- restore
- cloud-object-storage
ThePhish: an automated phishing email analysis tool
Lanyrd's MySQL to PostgreSQL conversion script
A virtual host scanner that performs reverse lookups, can be used with pivot tools, detect catch-all scenarios, work around wildcards, aliases and dynamic default pages.
- security-audit
- penetration-testing
- penetration-test
- virtual-hosts
Web application for automatically downloading TV & Movies (w/ VPN)
☁️ Python package for interacting with Steam
- steam
- valve
- steamworks
- webapi
StarDist - Object Detection with Star-convex Shapes
- bioimage-analysis
- cell-segmentation
- nuclei-segmentation
- object-detection
Coordinate Claude, Codex and Cursor windows with shared tasks, acknowledgements, prechecks, parallel tests, source-bound proofs and independent review. Built-in skills recall lessons, simplify code and forecast work. Track progress, decisions and evidence in a bilingual local dashboard, with MCP plugins. Browse skills and verified security audits.
:sound: Play and Record Sound with Python :snake:
- audio
- soundcard
- portaudio
- python
11 Claude skills that copy the investors you trust, watch the news and Congress, size every trade to your budget, and never place an order without your yes.
- 13f
- claude
- claude-skills
- investing
:chart_with_upwards_trend: Adaptive: parallel active learning of mathematical functions
- adaptive-learning
- machine-learning
- python
- live-plots
Easily configure macOS security settings from the terminal.
The open-source governance layer for AI agents: write the rules declaratively, Bernstein enforces them and produces the verifiable, replayable record. Free, Apache-2.0. https://bernstein.run
- agent-orchestrator
- deterministic-replay
- air-gap
- audit-trail
GVS5H: Five Qwen3.8-27B Models Match Claude Fable 5 on LiveCodeBench Hard | Fable 5 Level Coding for a Fifth the Price - or on a Single GPU
Automated, hardware-independent Hand-Eye Calibration
An automated, modular cryptanalysis tool; i.e., a Weapon of Math Destruction
A Game of Hackers (CTF Scoreboard & Game Manager)
Generate smart and powerful wordlists
- wordlist
- password
- hacking-tool
- password-cracking