A header-only C++ library for dynamic loading utilities that provides safe and convenient wrappers around dlopen/dlsym. (DISCLAIMER: this is a vibe-coding project, DO NOT use it in production)

Embedded drawing tool for Emacs

OpenSandbox is a general-purpose sandbox platform for AI applications, offering multi-language SDKs, unified sandbox APIs, and Docker/Kubernetes runtimes for scenarios like Coding Agents, GUI Agent…

Open-source Agent Operating System

Emacs skills for coding agents

Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

A curation of awesome tools, documents and projects about LLM Security.

A curated list of safety-related papers, articles, and resources focused on Large Language Models (LLMs). This repository aims to provide researchers, practitioners, and enthusiasts with insights i…

A living map of the AI agent security ecosystem.

Random version of microemacs with my private modificatons

Ongoing research training transformer models at scale

FlashMLA: Efficient Multi-head Latent Attention Kernels

Assignments for CS146S: The Modern Software Dev (Stanford University Fall 2025)

An ACP (Agent Client Protocol) implementation in Emacs lisp as per https://agentclientprotocol.com

An Emacs Lisp AI coding agent with multi-agent architecture, permission-based tool access, and LLM integration via gptel.

Automatically fetch, filter, and summarize research papers from arXiv & IACR with AI-powered bilingual summaries. Free on GitHub Pages.

Use Claude Agent SDK from any ACP client such as Zed!

CUDA Tile IR is an MLIR-based intermediate representation and compiler infrastructure for CUDA kernel optimization, focusing on tile-based computation patterns and optimizations targeting NVIDIA te…

The repo of "Soloist: Distributed SNARK for R1CS with Constant Proof Size" (Eurocrypt 2026)

An AI-powered security review GitHub Action using Claude to analyze code changes for security vulnerabilities.

Implementation of ranking, order statistics, and sorting algorithms using the CKKS homomorphic encryption scheme for privacy-preserving computation on sensitive data. [v0.1.2]

学术常用的prompts

Overview and tutorial of the LangChain Library

Temporarily highlight focused Emacs windows

Device Identifier Composition Engine

Minimize manual input source (input method) switching.

RIME ㄓ in Emacs

The Open-Source Multimodal AI Agent Stack: Connecting Cutting-Edge AI Models and Agent Infra

Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workl…