Lists (8)
Starred repositories
Submission pipeline and results store for the lean-eval benchmark (https://github.com/leanprover/lean-eval)
LEAKED SYSTEM PROMPTS FOR CHATGPT, CLAUDE, GEMINI, GROK, PERPLEXITY, CURSOR, LOVABLE, REPLIT, AND MORE! - AI SYSTEMS TRANSPARENCY FOR ALL! 👐
Unofficial SDK for Codex agents controlling visible ChatGPT web sessions
AI coding assistant skill (Claude Code, Codex, OpenCode, Cursor, Gemini CLI, and more). Turn any folder of code, SQL schemas, R scripts, shell scripts, docs, papers, images, or videos into a querya…
A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.
Open source implementation of CubeDiff for 360° panorama generation using Stable Diffusion.
[ICLR 26 Oral] Stable Video Infinity: Infinite-Length Video Generation with Error Recycling
Algebrica is free and open a mathematical knowledge base dedicated to clarity, structure, and conceptual coherence.
58 implementations of synthetic learning problems from Jürgen Schmidhuber's papers (1989-2025). Pure numpy, laptop-runnable, paper-comparison metrics per stub. Algorithmic-lineage companion to hint…
A verifier for automated and interactive proofs about transition systems.
LLMs as Copilots for Theorem Proving in Lean
Comparator-based Lean formal mathematics eval
An agent harness for long-running task from Intelligent Internet
Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)
High-performance In-browser LLM Inference Engine
Collection of the most essential transitions for web apps including product motion skill
This repo contains fully functional Hyperbrowser powered web apps
A backup-first Codex skill for keeping local Codex state fast, clean, and recoverable.
Warp is an agentic development environment, born out of the terminal.
An ongoing collection of React Native animations crafted with Reanimated, Gesture Handler, and Skia.