Config management that thinks like a sysadmin, not a git wrapper.

CLI tool and library for generating a Software Bill of Materials from container images and filesystems

[ICLR 2026] Official resources of "Token-Guard: Towards Token-Level Hallucination Control via Self-Checking Decoding"

A Claude Code plugin that automatically captures everything Claude does during your coding sessions, compresses it with AI (using Claude's agent-sdk), and injects relevant context back into future …

Lean 4 programming language and theorem prover

Kubernetes Control Plane Virtual IP and Load-Balancer

Awesome Typst Links

Give your agents the power of the Hugging Face ecosystem

66 Specialized Skills for Full-Stack Developers. Transform Claude Code into your expert pair programmer.

Skills Catalog for Codex

Sample code and notebooks for Generative AI on Google Cloud, with Gemini on Vertex AI

Linux virtual machines, with a focus on running containers

The best ChatGPT that $100 can buy.

Learn System Design concepts and prepare for interviews using free resources.

A curated list of awesome System Design (A.K.A. Distributed Systems) resources.

📊 Complete Data Science Guide — Bilingual (Arabic/English) — From Zero to Hero

FULL Augment Code, Claude Code, Cluely, CodeBuddy, Comet, Cursor, Devin AI, Junie, Kiro, Leap.new, Lovable, Manus, NotionAI, Orchids.app, Perplexity, Poke, Qoder, Replit, Same.dev, Trae, Traycer AI…

Web & Mobile UI for Claude Code & Codex . Launch sessions, stream responses, approve tools. All from your browser / mobile

An SVG of an updated Algeria map with 69 Wilayas

Declarative Rust UI library

This is an operating system independent implementation of iOS device features. You can run UI tests, launch or kill apps, install apps etc. with it.

Unbound Dashboard In Grafana With Prometheus & Loki

Welcome to a calmer internet

List of projects that provide terminal user interfaces

Immutable Linux OS to run Incus

Vagrant is a tool for building and distributing development environments.

Reverse differential backup tool, over a network or locally.

A modular Docker container/volume backup solution

Config driven, easy backup cli for restic.

Filter, Sort & Delete Duplicate Files Recursively