Educational materials related to the STAMP safety analysis framework.
☆22Mar 26, 2019Updated 7 years ago
Alternatives and similar repositories for stamp-materials
Users that are interested in stamp-materials are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fault injection and chaos testing all in one, sweet DSL.☆12Jan 26, 2026Updated 2 months ago
- Communities of Practice reading list☆14Jun 20, 2023Updated 2 years ago
- An unofficial copy of MIT's Alloy Analyzer model checking tool.☆20May 30, 2013Updated 12 years ago
- ☆35Jun 17, 2017Updated 8 years ago
- A simple pam account module to process HBAC rules stored on an IPA server☆10May 14, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Open Nebula golang API used by megam vertice☆23Jun 28, 2021Updated 4 years ago
- ☆13Dec 26, 2022Updated 3 years ago
- Stor2rrd Grafan monitoring☆12Jan 8, 2019Updated 7 years ago
- convert OVF vm packages to smartos compatible images☆29Feb 4, 2016Updated 10 years ago
- Antlr4 plugin for Gradle☆41Mar 18, 2021Updated 5 years ago
- wolfSSL Asynchronous Cryptography☆17Dec 8, 2025Updated 4 months ago
- Cache wrapper for lua-resty-dns☆11Apr 19, 2017Updated 8 years ago
- julia <3 clojure + macroexpansion☆11May 2, 2016Updated 9 years ago
- JSON Schema files for Pandoc JSON☆13Aug 19, 2014Updated 11 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Bittern Cache uses nvdimm to speed up block io operations☆15Oct 6, 2015Updated 10 years ago
- Implementation of the Snappy compression algorithm as a RoCC accelerator☆12Jul 29, 2019Updated 6 years ago
- mdbook preprocessor for generating checklists and indexes☆14Nov 29, 2022Updated 3 years ago
- Container docker with imapsync and docker-compose to automate in easy way☆10May 12, 2024Updated last year
- Xelerance Official SSHFP repository☆25Nov 16, 2019Updated 6 years ago
- A small bash script that allows remote oscap scanning through ssh, similar to what SCAP Workbench does.☆11Apr 18, 2015Updated 10 years ago
- ISO 9660 reader library for Go☆31Mar 7, 2019Updated 7 years ago
- OpenNebula's visualization add-on allowing to have at a glance, an insight on the load of managed hosts (CPU usage/used, Memory usage/use…☆10Oct 18, 2018Updated 7 years ago
- ☆10Mar 26, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Extreme Networks EXOS Driver implementation for the NAPALM Network Automation Project☆12Jun 28, 2021Updated 4 years ago
- https://anonscm.debian.org/cgit/pkg-go/packages/golang-dbus.git☆15Nov 18, 2015Updated 10 years ago
- onyx☆13Jan 11, 2023Updated 3 years ago
- Bash script for monitoring status of device backup in Synology Active Backup for Business in PRTG☆11Feb 14, 2026Updated last month
- A simple framework for writing declarative shell scripts☆15Feb 23, 2015Updated 11 years ago
- LuaJIT binding to the aws s2n TLS library☆14Oct 26, 2015Updated 10 years ago
- Check_MK Documentation☆11Jun 18, 2023Updated 2 years ago
- Netbox Meraki Integration tooling☆11Apr 8, 2024Updated 2 years ago
- Misc ad-hoc helper scripts for pfSense boxes☆14Sep 7, 2015Updated 10 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Harden Kasm Workspaces deployments with DISA STIGs☆18Nov 17, 2025Updated 4 months ago
- NAPALM driver for Alcatel Lucent Enterprise AOS☆11Apr 27, 2021Updated 4 years ago
- Docker image for Alpine Linux with latest ShellCheck, a static analysis tool for shell scripts.☆12Sep 20, 2017Updated 8 years ago
- Tiny module for accessing random bytes☆11Dec 29, 2020Updated 5 years ago
- Ansible storage role☆11Sep 13, 2019Updated 6 years ago
- Change Active Directory passwords from the Zimbra web client☆14Feb 6, 2023Updated 3 years ago
- Prometheus exporter for Raritan PX2/PX3 PDUs via JSON RPC endpoints.☆13Jun 7, 2024Updated last year