EA0000

talos

Talos Linux is a modern Linux distribution built for Kubernetes.

shiftleft.proj.kth.se

The source for the website of the ShiftLeft project

amicontained

Container introspection tool. Find out what container runtime is being used as well as features available.

docker-k8s-resources

A collection of Docker and Kubernetes resources

pixelfed

Photo Sharing. For Everyone.

ARC-AGI

The Abstraction and Reasoning Corpus

arcle

A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)

theorem_proving_in_lean4

Theorem Proving in Lean 4

mathlib4

The math library of Lean 4

huginn

Create agents that monitor and act on your behalf. Your agents are standing by!

repairllama

RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair

challenge-001-exemplar

Challenge Problem #1 - Linux Kernel (NOTE: This code does not reflect the active state of what will be used at competition time, please refer to resources inside of the competition environment)

infrawallet

Backstage plugin that controls your cloud costs just in the way how you control your bank accounts

VRepair

open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308

MSR_20_Code_vulnerability_CSV_Dataset

A C/C++ Code Vulnerability Dataset with Code Changes and CVE Summaries

esbmc

The efficient SMT-based context-bounded model checker (ESBMC)

API-Security

OWASP API Security Project

ChatAFL

Large Language Model guided Protocol Fuzzing (NDSS'24)

TPM-FAIL

TPM-Fail Attack code & data

LIEF

LIEF - Library to Instrument Executable Formats (C++, Python, Rust)

blint

BLint is a Binary Linter to check the security properties, and capabilities in your executables. Since v2, blint is also an SBOM generator for binaries.

openbao

OpenBao exists to provide a software solution to manage, store, and distribute sensitive data including secrets, certificates, and keys.

SampCert

SampCert : Verified Differential Privacy

cmake-conan

CMake wrapper for conan C and C++ package manager

cdxgen

Creates CycloneDX Bill of Materials (BOM) for your projects from source and container images. Supports many languages and package managers. Integrate in your CI/CD pipeline with automatic submission to Dependency Track server. Discord: https://discord.gg/DP657ACYEZ

gram

Gram is Klarna's own threat model diagramming tool

UdemyCmake

ransomwatch

the transparent ransomware claim tracker 🥷🏼🧅🖥️

OFFAT

The OWASP OFFAT tool autonomously assesses your API for prevalent vulnerabilities, though full compatibility with OAS v3 is pending. The project remains a work in progress, continuously evolving towards completion.

chainloop

Chainloop is an Open Source evidence store for your Software Supply Chain attestations, SBOMs, VEX, SARIF, CSAF files, QA reports, and more.