"AI-Trader: Can AI Beat the Market?" Live Trading: https://hkuds.github.io/AI-Trader/

A multi-platform proxy client based on ClashMeta,simple and easy to use, open-source and ad-free.

🚀🚀 「大模型」2小时完全从0训练26M的小参数GPT！🌏 Train a 26M-parameter GPT from scratch in just 2h!

A very simple and easy to understand RISC-V core.

A minimalistic and high-performance SAT solver

The Xyce™ Parallel Electronic Simulator

Open Agent Coding CLI, Koding with GLM, Qwen, Kimi, DeepSeek etc.（welcome to use Kode to summit PR)

本仓库包含对 Claude Code v1.0.33 进行逆向工程的完整研究和分析资料。包括对混淆源代码的深度技术分析、系统架构文档，以及重构 Claude Code agent 系统的实现蓝图。主要发现包括实时 Steering 机制、多 Agent 架构、智能上下文管理和工具执行管道。该项目为理解现代 AI agent 系统设计和实现提供技术参考。

LLM4AD: A Platform for Algorithm Design with Large Language Model

The Z3 Theorem Prover

GL0AM GPU Accelerated Gate Level Logic Simulator

[EMNLP 2025 Demo] PDF scientific paper translation with preserved formats - 基于 AI 完整保留排版的 PDF 文档全文双语翻译，支持 Google/DeepL/Ollama/OpenAI 等服务，提供 CLI/GUI/MCP/Docker/Zotero

PDF2zh for Zotero | Zotero PDF中文翻译插件

🦉 OWL: Optimized Workforce Learning for General Multi-Agent Assistance in Real-World Task Automation

GPT Meet Zotero.

Multi-agent framework, runtime and control plane. Built for speed, privacy, and scale.

C++ logic network library

使用ai生成多章节的长篇小说，自动衔接上下文、伏笔

A collection of MCP servers.

An Open-source FPGA IP Generator

Implements harmful/harmless refusal removal using pure HF Transformers

🍒 Cherry Studio is a desktop client that supports for multiple LLM providers.

解决Cursor在免费订阅期间出现以下提示的问题: Your request has been blocked as our system has detected suspicious activity / You've reached your trial request limit. / Too many free trial accounts used on this machine.

Kactus2 is a graphical EDA tool based on the IP-XACT standard.

Build your hardware, easily!

翻译systemverilog assertion部分

METIS - Serial Graph Partitioning and Fill-reducing Matrix Ordering

An Open-Source Analytical Placer for Large Scale Heterogeneous FPGAs using Deep-Learning Toolkit