Popular repositories Loading

1. the-self-healing-pipeline the-self-healing-pipeline Public

   Forked from dharmendradevops11/the-self-healing-pipeline

   Companion code for the book The Self-Healing Pipeline: How I Taught My CI/CD Pipeline to Fix Itself at 2 AM

   Python

2. AiSOC AiSOC Public

   Forked from beenuar/AiSOC

   Open-source AI Security Operations Center: alert fusion, LLM-agent triage, MITRE ATT&CK investigation, and a replayable decision ledger for every agent step. Self-hostable, runs with no API keys, M…

   Python

3. SelfJev SelfJev Public

   Forked from jwuthri-cloud/SelfJev

   Self-hosted decision model (selfjev-4b) with a Jev-compatible API: Python SDK, server, fine-tuning and RLCD.

   Python

4. romulus romulus Public

   Forked from smegm/romulus

   Lean 4 hypervisor memory ownership model with machine-checked isolation proofs

   Lean

5. lambda-sub lambda-sub Public

   Forked from Daniel-archives/lambda-sub

   Rocq formalisation of the lambda calculus with partial substitutions

   Rocq Prover

6. destroylist destroylist Public

   Forked from phishdestroy/destroylist

   Real-time phishing & scam domain blocklist - 205k+ curated threats, 1M+ community, free API, multiple formats

   HTML