Lind: Secure Lightweight Adaptive Isolation
☆32Jul 3, 2025Updated 8 months ago
Alternatives and similar repositories for lind_project
Users that are interested in lind_project are comparing it to the libraries listed below
Sorting:
- Rust implementation of SafePOSIX☆13May 13, 2025Updated 9 months ago
- Tooling and library for generation, validation and verification of supply chain metadata documents and frameworks☆33Apr 22, 2025Updated 10 months ago
- in-toto Enhancements☆20Feb 17, 2025Updated last year
- Friends of in-toto! A place to record integrations and adoptions of the in-toto specification.☆21Feb 16, 2026Updated 2 weeks ago
- Software Supply Chain Attribute Integrity (SCAI) Demos and CLI tools☆19Feb 6, 2026Updated 3 weeks ago
- ☆23Oct 26, 2021Updated 4 years ago
- A Java implementation of in-toto runlib☆11Jul 23, 2024Updated last year
- Go implementation of witness☆45Updated this week
- ☆76Dec 10, 2025Updated 2 months ago
- A CLI tool for creating secure by design/default source repos.☆28Jul 29, 2024Updated last year
- Format agnostic SBOM tooling☆133Nov 20, 2025Updated 3 months ago
- 🔴🟡🟢 The Amazing Multipurpose Policy Engine (and L)☆39Updated this week
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆25Sep 5, 2021Updated 4 years ago
- Archivista is a graph and storage service for in-toto attestations. Archivista enables the discovery and retrieval of attestations for so…☆108Feb 23, 2026Updated last week
- A Go implementation of in-toto. in-toto is a framework to protect software supply chain integrity.☆145Feb 13, 2026Updated 2 weeks ago
- A specification for signing methods and formats used by Secure Systems Lab projects.☆94Nov 10, 2025Updated 3 months ago
- Collating an overview of the open source software supply chain landscape -- and synthesizing that survey in a hopefully-useful way.☆33Apr 4, 2023Updated 2 years ago
- ☆19Feb 5, 2026Updated 3 weeks ago
- A TUF repository and signing tool☆43Feb 24, 2026Updated last week
- A replacement for "kubectl exec" that works over WebSocket connections.☆43Mar 30, 2024Updated last year
- stmctf22☆35Nov 16, 2022Updated 3 years ago
- Pure D implementation of SHA-3 (Keccak-f[1600,24]) + DUB package☆12Sep 15, 2025Updated 5 months ago
- Welcome to the Lind sandbox monorepo! See our docs below:☆17Updated this week
- Securing Alice's, Bob's and Carl's software supply chain using in-toto☆104Feb 11, 2026Updated 2 weeks ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- One of the world's simplest implementation of a processor.☆11Jun 3, 2019Updated 6 years ago
- Graphviz utility for D☆10Sep 27, 2019Updated 6 years ago
- D programming language wrapper for InfluxDB☆11Sep 25, 2025Updated 5 months ago
- General purpose Discord Bot with the hacker in mind☆13Nov 6, 2025Updated 3 months ago
- Network bridge between RTI and Savant.☆11Apr 10, 2015Updated 10 years ago
- Binary Ninja Plugin for RISC-V☆14Nov 29, 2023Updated 2 years ago
- ☆11Aug 28, 2024Updated last year
- Free Pascal DBus Wrapper and Code Generation Tools☆10Jan 29, 2025Updated last year
- The high-level goals, current focus, future plans, and wishlist for the D Programming Language.☆15May 20, 2023Updated 2 years ago
- Mattermost builder☆11Jan 1, 2022Updated 4 years ago
- Tiny vi text editor clone with enough features to be truly useful☆15Feb 14, 2024Updated 2 years ago
- ☆12May 2, 2023Updated 2 years ago
- A dwm-like top bar for dwl☆12Jul 13, 2025Updated 7 months ago
- This is the repository for the code and artifacts related to the CCS2022 paper: C2C: Fine-grained Configuration-driven System Call Filter…☆11Nov 4, 2022Updated 3 years ago