Educational materials related to the STAMP safety analysis framework.
☆23Mar 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:
- This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…☆17Nov 24, 2017Updated 8 years ago
- General purpose floating IPs☆19Aug 8, 2018Updated 7 years ago
- Packer template for creating CoreOS KVM images for OpenNebula.☆15Sep 16, 2016Updated 9 years ago
- A simple pam account module to process HBAC rules stored on an IPA server☆10May 14, 2018Updated 8 years ago
- Open Nebula golang API used by megam vertice - https://megam.io☆22Jun 28, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- force is a Go client library for accessing the Salesforce API ☁️☆13Aug 17, 2016Updated 9 years ago
- Terraform provider utilizing gNMI interface and OpenConfig models☆14Apr 11, 2019Updated 7 years ago
- Openvpn client in a docker container.☆11Nov 5, 2024Updated last year
- Based on ITUS 1.51 SP1☆10Jul 8, 2018Updated 7 years ago
- convert OVF vm packages to smartos compatible images☆29Feb 4, 2016Updated 10 years ago
- Platform providing features to test Azure Functions performance according to implemented tests scenarios.☆16Mar 28, 2023Updated 3 years ago
- A Windows Dev PC BoxStarter repository☆13Dec 13, 2018Updated 7 years ago
- wolfSSL Asynchronous Cryptography☆17Dec 8, 2025Updated 6 months ago
- Solutions for OCTEON and Arm Server SoCs as Data accelerator offload☆14Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Terrraform resource management from ServiceNow☆14Dec 27, 2022Updated 3 years ago
- Cache wrapper for lua-resty-dns☆11Apr 19, 2017Updated 9 years ago
- An arpeggio generator which is easy to use and customize for achieving fabulous patterns☆16Nov 2, 2018Updated 7 years ago
- julia <3 clojure + macroexpansion☆12May 2, 2016Updated 10 years ago
- ☆10Aug 18, 2021Updated 4 years ago
- PJLink is a standard for controlling data projectors.☆10Jan 27, 2018Updated 8 years ago
- Bittern Cache uses nvdimm to speed up block io operations☆15Oct 6, 2015Updated 10 years ago
- JSON Schema files for Pandoc JSON☆14Aug 19, 2014Updated 11 years ago
- Implementation of the Snappy compression algorithm as a RoCC accelerator☆12Jul 29, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Identity-Aware Proxy☆21Feb 25, 2023Updated 3 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 2 years ago
- Xelerance Official SSHFP repository☆25Nov 16, 2019Updated 6 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
- Extreme Networks EXOS Driver implementation for the NAPALM Network Automation Project☆12Jun 28, 2021Updated 4 years ago
- Bash script for monitoring status of device backup in Synology Active Backup for Business in PRTG☆12Feb 14, 2026Updated 3 months ago
- Simple Ansible playbook and role for setting a software channel and upgrading RouterOS on mikrotik devices☆12Aug 1, 2022Updated 3 years ago
- AI Agents on 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.
- LuaJIT binding to the aws s2n TLS library☆14Oct 26, 2015Updated 10 years ago
- Check_MK Documentation☆11Jun 18, 2023Updated 2 years ago
- A logging plugin for WordPress.☆12Apr 15, 2024Updated 2 years ago
- Tiny Teal / Lua test helper.☆22Oct 15, 2025Updated 7 months ago
- Netbox Meraki Integration tooling☆11Apr 8, 2024Updated 2 years ago
- Harden Kasm Workspaces deployments with DISA STIGs☆21Updated this week
- Change Active Directory passwords from the Zimbra web client☆14Feb 6, 2023Updated 3 years ago