Stars
SQLite3 encryption extension with support for multiple ciphers
🚀 PR Agent: The Original Open-Source PR Reviewer. This project It is not the Qodo free tier.
OpenVul: An Open-Source Post-Training Framework for LLM-Based Vulnerability Detection
A theoretical reconstruction of the Claude Mythos architecture, built from first principles using the available research literature.
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
A tmux-like terminal multiplexer for Windows, written in Rust.
Tool that allows comparing symbol, type and syscall information of Microsoft Windows binaries across different versions of the OS, using a Web UI and/or LLMs.
Fully autonomous & self-evolving research from idea to paper. Chat an Idea. Get a Paper. 🦞
Offensive security toolkit for Claude Code
A LLVM-based static analysis framework.
Download .crate files of all versions of all crates from crates.io
Training neural networks on Apple Neural Engine via reverse-engineered private APIs
π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.
This guide is designed for OpenClaw itself (Agent-facing), not as a traditional human-only hardening checklist.
A curated list of awesome LLM and AI Agent Skills, resources and tools for customising AI Agent workflows - that works with Claude Code, Codex, Gemini CLI and your custom AI Agents
A simple code complexity analyser without caring about the C/C++ header files or Java imports, supports most of the popular languages.
Transform arXiv papers into a single LaTeX source that can be used as a prompt for asking LLMs questions about the paper.
Official Repository for PosterGen - CVPR Findings 2026
A thread-per-core Linux io_uring async runtime for Rust optimized for latency.
KAG is a logical form-guided reasoning and retrieval framework based on OpenSPG engine and LLMs. It is used to build logical reasoning and factual Q&A solutions for professional domain knowledge ba…
A machine learning software for extracting information from scholarly documents
Cottontail: A LLM-Driven Concolic Execution Engine (Accepted by IEEE S&P'26)
The code for NeurIPS 2025 paper "A-Mem: Agentic Memory for LLM Agents"
Retrieval-Augmented Theorem Provers for Lean
Securing open-source package ecosystems by originating, validating, and augmenting build attestations.