A skill for AI agents to perform misconfiguration detection powered by CoGuard.

agentic skills to write TLA+ specs or TLAPS proofs

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

Persistent memory plugin for Claude Code. Tiered memory system with write gates, correction propagation, and slash commands.

Ghidra MCP Server — 200+ MCP tools for AI-powered reverse engineering. GUI plugin + headless server, lazy tool loading, convention enforcement, batch operations, Ghidra Server integration, and Dock…

EDU AI Product Engineer - Cohort 3

AI coding agents that can't exfiltrate secrets or merge their own PRs.

Beautiful, open source, WebGPU-based charting library

Bindu: Turn any AI agent into a living microservice - interoperable, observable, composable.

The open source coding agent.

🚀 Awesome System for Machine Learning ⚡️ AI System Papers and Industry Practice. ⚡️ System for Machine Learning, LLM (Large Language Model), GenAI (Generative AI). 🍻 OSDI, NSDI, SIGCOMM, SoCC, MLSy…

Outcome-based persistent memory MCP server for Claude Code and OpenCode. Good advice promoted, bad advice demoted. pip install roampal.

Terminal session manager for AI coding agents. One TUI for Claude, Gemini, OpenCode, Codex, and more.

An AI Hedge Fund Team

Learning how to make music (music production) in the browser (with Strudel) for total beginners

Experimental node-based UI for Strudel built with React Flow.

PyTorch compiler that accelerates training and inference. Get built-in optimizations for performance, memory, parallelism, and easily write your own.

Control Any Computer Using LLMs.

Enterprise-ready SIEM, SOAR and Compliance powered by real-time correlation and threat intelligence.

Opiniated RAG for integrating GenAI in your apps 🧠 Focus on your product rather than the RAG. Easy integration in existing products with customisation! Any LLM: GPT4, Groq, Llama. Any Vectorstore: …

🟢 2025 Deals Live - Black Friday & Cyber Monday, Christmas & Holidays Deals for Developers, Techies, & Entrepreneurs,

A repository to keep track of all the code that I end up writing for my blog posts.

Intel One Mono font repository

DevOps Roadmap for 2026. with learning resources

A collection of resources and papers on Diffusion Models

Coverage-guided, in-process fuzzing for Node.js

An awesome list of information to help developers write better, kinder, more helpful documentation and learning materials

This repository is used to generate a knowledge base to help developers discover useful topics.

ClickHouse® is a real-time analytics database management system