LEAKED SYSTEM PROMPTS FOR CHATGPT, CLAUDE, GEMINI, GROK, PERPLEXITY, CURSOR, LOVABLE, REPLIT, AND MORE! - AI SYSTEMS TRANSPARENCY FOR ALL! 👐

The Lean Computer Science Library (CSLib)

"Vibe-Trading: Your Personal Trading Agent"

A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.

PiliPlus

Find, benchmark and install in CLI 170+ FREE coding LLM models across 15+ providers in real time

My terminal environment dotfiles: ghostty, nvim (LazyVim), yazi, btop, fastfetch, starship

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

LaTeX template for Tianjin University recommendation letters | 天津大学推荐信 LaTeX 模板

AugmenTest is a tool for LLM-based generation of test oracles to enrich existing test cases

Cross-target network abstractions (TcpStream, TcpListener, UdpSocket) unifying WASM, JS, and native targets for MoonBit

An awesome list of e-graph resources

Web browser engineering (a book)

魔力haskell官方网站

Official code repo for the O'Reilly Book - "Hands-On Large Language Models"

Implementation of QFuzz.

A post-quantum cryptographic signature scheme

A library for fuzzy string matching and fuzzy string searching

No fortress, purely open ground. OpenManus is Coming.

Fully open reproduction of DeepSeek-R1

MoonBit Port of Implementations for Pierce's Types and Programming Languages

Write llvm in moonbit!

State of the art mutation testing system for the JVM

A tutorial about how to apply property-based testing to stateful systems.