Educational materials related to the STAMP safety analysis framework.
☆22Mar 26, 2019Updated 6 years ago
Alternatives and similar repositories for stamp-materials
Users that are interested in stamp-materials are comparing it to the libraries listed below
Sorting:
- General purpose floating IPs☆19Aug 8, 2018Updated 7 years ago
- Open Nebula golang API used by megam vertice☆23Jun 28, 2021Updated 4 years ago
- A simple pam account module to process HBAC rules stored on an IPA server☆10May 14, 2018Updated 7 years ago
- Based on ITUS 1.51 SP1☆10Jul 8, 2018Updated 7 years ago
- Cache wrapper for lua-resty-dns☆11Apr 19, 2017Updated 8 years ago
- Class notes, quizzes, and exams from a one-semester Introduction to Programming in C class I taught at U Penn☆16Mar 20, 2016Updated 9 years ago
- Ansible storage role☆11Sep 13, 2019Updated 6 years ago
- This project allows students to demonstrate their coding skills before entering CodeU. Students will complete this JSON-lite object and J…☆10Apr 27, 2017Updated 8 years ago
- ☆13Dec 26, 2022Updated 3 years ago
- ☆10Aug 18, 2021Updated 4 years ago
- Container docker with imapsync and docker-compose to automate in easy way☆10May 12, 2024Updated last year
- NAPALM driver for Alcatel Lucent Enterprise AOS☆11Apr 27, 2021Updated 4 years ago
- Stor2rrd Grafan monitoring☆12Jan 8, 2019Updated 7 years ago
- Check_MK Documentation☆11Jun 18, 2023Updated 2 years ago
- A fast JSON scanner in go.☆10Nov 16, 2023Updated 2 years ago
- JSON Schema files for Pandoc JSON☆13Aug 19, 2014Updated 11 years ago
- Go bindings for xhyve☆11Oct 29, 2015Updated 10 years ago
- Terraform code samples for use with AWS ECS☆10Oct 13, 2017Updated 8 years ago
- SVCheck - Spectrum Virtualize Checker☆10Sep 23, 2021Updated 4 years ago
- A rust crate for high-performance content-signing and certificate verification.☆13Oct 22, 2016Updated 9 years ago
- CompCertX features to be merged into CompCert☆10Jan 2, 2018Updated 8 years ago
- xhyve, a lightweight OS X virtualization solution☆12May 14, 2018Updated 7 years ago
- Remote sensing labwork☆12Feb 27, 2018Updated 8 years ago
- Ansible provisioning for container networking solutions using OpenContrail☆11Apr 21, 2016Updated 9 years ago
- Render and embed graphs by writing them in dot notation. Renders to PGF/TikZ☆12Apr 14, 2020Updated 5 years ago
- A rpc client library for the Transmission bittorrent client written in OCaml.☆10Jan 27, 2018Updated 8 years ago
- A Go library for semantic caching with LRU eviction, supporting vector-based similarity search with pluggable embedding backends (local o…☆23Dec 15, 2025Updated 2 months ago
- HAProxy Go structs for API☆12Dec 9, 2021Updated 4 years ago
- A High-Performance Riak Client for Go☆13Sep 22, 2014Updated 11 years ago
- Manage the open source licenses of your projects☆41Nov 19, 2019Updated 6 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
- ☆14Aug 14, 2025Updated 6 months ago
- A modular, agentic-AI-based adaptive cybersecurity architecture for digital ecosystems. Combines Zero Trust, real-time telemetry, and int…☆21Jul 4, 2025Updated 8 months ago
- Pallet Crates☆28Aug 10, 2012Updated 13 years ago
- A command line player for webm video files☆12Dec 20, 2016Updated 9 years ago
- centralized authentication/authorization for Kel☆10Aug 23, 2016Updated 9 years ago
- HTML5 theme for the static site generator Hugo☆11Jun 4, 2025Updated 9 months ago
- An application for creating surveys, sharing and reading responses. It has a system of logging in users, displaying basic statistical inf…☆12Dec 19, 2022Updated 3 years ago
- Openvpn client in a docker container.☆11Nov 5, 2024Updated last year