seedwing-io / seedwing-policyView external linksLinks
A functional type system for policy inspection, audit and enforcement.
☆13Aug 17, 2023Updated 2 years ago
Alternatives and similar repositories for seedwing-policy
Users that are interested in seedwing-policy are comparing it to the libraries listed below
Sorting:
- ☆16May 15, 2024Updated last year
- A LoRa backend server☆13May 2, 2018Updated 7 years ago
- A Rust interface for the Nordic PPK2☆20Jun 13, 2025Updated 8 months ago
- 🥑 Inspect and understand an organization's software supply chain using AI to enable stakeholders to make actionable decisions about soft…☆22Apr 15, 2024Updated last year
- A CLI tool for creating secure by design/default source repos.☆28Jul 29, 2024Updated last year
- Machine-readable specification for the attestation of security-relevant data.☆72Feb 2, 2026Updated 2 weeks ago
- Proof-of-concept implementation of the "Challenge/Response Remote Attestation" interaction model of the IETF RATS Reference Interaction M…☆36Apr 5, 2025Updated 10 months ago
- Rust driver for the Semtech SX127x series of Sub-GHz LoRa/ISM radio transceivers☆37Nov 8, 2023Updated 2 years ago
- generic CMP [RFC 9810, RFC 9483] client library and CLI, based on OpenSSL☆14Updated this week
- ☆11Sep 23, 2025Updated 4 months ago
- Supply Chain Integrity Transparency and Trust ledger application using Confidential Consortium Framework (CCF)☆41Feb 9, 2026Updated last week
- Conforma artifact verifier and policy checker☆41Updated this week
- Minimal container registry☆41Feb 8, 2026Updated last week
- Exposing the UN/CEFACT vocabulary as web semantics☆13Sep 13, 2024Updated last year
- UNIXv7 ported to RISC-V, specifically the Longnan Nano SBC☆13Mar 30, 2023Updated 2 years ago
- Tokio-based streaming API for UDP + DTLS sessions☆11Apr 11, 2024Updated last year
- ☆13Updated this week
- Deepfakes weapon skins onto Valorant guns using CycleGAN☆10Jan 17, 2021Updated 5 years ago
- Sparkling training missions for web security☆12Apr 24, 2017Updated 8 years ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- A minimal async executor suitable for embedded environments☆39Nov 9, 2023Updated 2 years ago
- Archivista is a graph and storage service for in-toto attestations. Archivista enables the discovery and retrieval of attestations for so…☆106Updated this week
- A simple heapless command line interface parser for embedded devices☆16Mar 15, 2019Updated 6 years ago
- A static code analyzer to generate network connection topology for micro-service applications☆18Feb 3, 2026Updated 2 weeks ago
- ☆11Dec 11, 2024Updated last year
- SCITT API Emulator☆10Nov 22, 2024Updated last year
- Crate to interface full H-bridge motor drivers☆11May 16, 2018Updated 7 years ago
- Ware inspired, easily create your own middleware layer using generators via co.☆17Jan 28, 2015Updated 11 years ago
- Verifiable Credential Server for Web5.☆11Dec 17, 2022Updated 3 years ago
- ☆11Aug 17, 2023Updated 2 years ago
- Early-stage machine learning library in Rust☆10Apr 15, 2021Updated 4 years ago
- A GeoDjango app to return Cascadia quake risk and resilience factors based on location☆12Updated this week
- AEAD encryption using Trusted Platform Module (TPM)☆12Jan 5, 2026Updated last month
- This bot attends the online classes held on Microsoft teams, according to the given timetable.Informs if bot is successfully joined the m…☆11Feb 2, 2022Updated 4 years ago
- GitHub Actions Security Tester☆12Feb 1, 2023Updated 3 years ago
- Animated PNG cross-browser utility.☆15Nov 23, 2009Updated 16 years ago
- micromize is a security hardening tool designed to detect and break the post-exploit kill chain for containerized applications, leveragin…☆43Jan 6, 2026Updated last month
- ☆14Jun 18, 2023Updated 2 years ago
- Prefect integrations with Microsoft Planetary Computer.☆11Jul 15, 2024Updated last year