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☆14May 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 24, 2026Updated last week
- Proof-of-concept implementation of the "Challenge/Response Remote Attestation" interaction model of the IETF RATS Reference Interaction M…☆36Apr 5, 2025Updated 11 months ago
- Rust driver for the Semtech SX127x series of Sub-GHz LoRa/ISM radio transceivers☆38Nov 8, 2023Updated 2 years ago
- ☆11Sep 23, 2025Updated 5 months ago
- generic CMP [RFC 9810, RFC 9483] client library and CLI, based on OpenSSL☆14Feb 17, 2026Updated 2 weeks ago
- Conforma artifact verifier and policy checker☆41Updated this week
- Supply Chain Integrity Transparency and Trust ledger application using Confidential Consortium Framework (CCF)☆40Updated this week
- Minimal container registry☆41Updated this week
- Tokio-based streaming API for UDP + DTLS sessions☆12Apr 11, 2024Updated last year
- ☆13Mar 2, 2026Updated last week
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- Exposing the UN/CEFACT vocabulary as web semantics☆13Sep 13, 2024Updated last year
- 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
- UNIXv7 ported to RISC-V, specifically the Longnan Nano SBC☆13Mar 30, 2023Updated 2 years ago
- A minimal async executor suitable for embedded environments☆39Nov 9, 2023Updated 2 years ago
- FeRTOS is a simple "operating system" that currently supports ARM Cortex-M CPUs☆13Jul 9, 2022Updated 3 years ago
- [Experiment] A lock-free, wait-free, block-free logger for the ARM Cortex-M architecture☆10Feb 18, 2020Updated 6 years ago
- A GeoDjango app to return Cascadia quake risk and resilience factors based on location☆12Updated this week
- Animated PNG cross-browser utility.☆15Nov 23, 2009Updated 16 years ago
- Nix build hook that forwards builds to job schedulers.☆29Mar 2, 2026Updated last week
- 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
- A static code analyzer to generate network connection topology for micro-service applications☆18Mar 2, 2026Updated last week
- Prefect integrations with Microsoft Planetary Computer.☆11Jul 15, 2024Updated last year
- 🚀 High-performance mutation testing tool for Go☆21Feb 24, 2026Updated last week
- ☆11Dec 11, 2024Updated last year
- ☆11Aug 17, 2023Updated 2 years ago
- SCITT API Emulator☆10Nov 22, 2024Updated last year
- Crate to interface full H-bridge motor drivers☆11May 16, 2018Updated 7 years ago
- Early-stage machine learning library in Rust☆10Apr 15, 2021Updated 4 years ago
- Telegram bot for colorizing black & white photos☆12Dec 22, 2017Updated 8 years ago
- Ware inspired, easily create your own middleware layer using generators via co.☆17Jan 28, 2015Updated 11 years ago
- ☆14Mar 3, 2026Updated last week
- micromize is a security hardening tool designed to detect and break the post-exploit kill chain for containerized applications, leveragin…☆44Mar 2, 2026Updated last week