Lind: Secure Lightweight Adaptive Isolation
☆35May 30, 2026Updated 5 months ago
Alternatives and similar repositories for lind_project
Users that are interested in lind_project are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rust implementation of SafePOSIX☆13May 13, 2025Updated last year
- in-toto Enhancements☆22Feb 17, 2025Updated last year
- Command line interface for Kusari☆16Updated this week
- Tooling and library for generation, validation and verification of supply chain metadata documents and frameworks☆34Apr 22, 2025Updated last year
- Supply Chain Query Tool☆13May 25, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Software Supply Chain Attribute Integrity (SCAI) Demos and CLI tools☆19Sep 2, 2026Updated 2 months ago
- Friends of in-toto! A place to record integrations and adoptions of the in-toto specification.☆22Oct 26, 2026Updated last week
- ☆27Mar 17, 2026Updated 7 months ago
- A CLI tool for creating secure by design/default source repos.☆28Jul 29, 2024Updated 2 years ago
- ☆87Oct 23, 2026Updated last week
- Format agnostic SBOM tooling☆156Nov 20, 2025Updated 11 months ago
- Collating an overview of the open source software supply chain landscape -- and synthesizing that survey in a hopefully-useful way.☆34Apr 4, 2023Updated 3 years ago
- ☆16Jul 12, 2026Updated 3 months ago
- ☆23Oct 26, 2021Updated 5 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.
- Cryptographic and general-purpose routines for Secure Systems Lab projects at NYU☆54Updated this week
- A rust implementation of in-toto☆35Jul 28, 2026Updated 3 months ago
- ☆261Oct 26, 2026Updated last week
- An http proxy for reproducibility.☆19Jan 10, 2023Updated 3 years ago
- A Java implementation of in-toto runlib☆11Jul 23, 2024Updated 2 years ago
- A specification for signing methods and formats used by Secure Systems Lab projects.☆114Oct 9, 2026Updated 3 weeks ago
- Witness Examples☆12Feb 27, 2024Updated 2 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆26Sep 5, 2021Updated 5 years ago
- ☆16Sep 23, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- AI skill for securing software dependencies☆17May 28, 2026Updated 5 months ago
- ☆11Nov 10, 2025Updated 11 months ago
- 🔴🟡🟢 The Amazing Multipurpose Policy Engine (and L)☆61Updated this week
- ☆23Oct 14, 2026Updated 2 weeks ago
- API and Website to get info from discord id's☆13Nov 6, 2023Updated 2 years ago
- The BEAR (Belonging, Empowerment, Allyship, and Representation) WG, formerly DEI, was formed in December 2023 to enhance representation a…☆14May 18, 2026Updated 5 months ago
- sigstore the hard way!☆121May 29, 2026Updated 5 months ago
- TUF Augmentation Proposals (TAPs)☆39Oct 6, 2026Updated 3 weeks ago
- AFL-EDGE is a tool facilitating parallel fuzzing with mutually-exclusive task distribution☆17Jul 13, 2022Updated 4 years ago
- 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.
- Reference security architecture for AI applications☆15Mar 28, 2025Updated last year
- Rust and C Benchmarks☆16Nov 21, 2024Updated last year
- silence negligible CVE alerts using LLM☆64Mar 2, 2026Updated 8 months ago
- Library for attesting VM workloads inside of an Intel TDX environment☆15Oct 19, 2026Updated 2 weeks ago
- A parser for PTX 6.5☆13Jun 19, 2023Updated 3 years ago
- A collection of online resources that I found useful for Ph.D. students☆18Apr 14, 2022Updated 4 years ago
- ☆48Nov 15, 2021Updated 4 years ago