Lists (8)
Starred repositories
Sudoless Apple Silicon system monitor (native SwiftUI GUI) with ANE / Media Engine / memory-bandwidth tracking
Wasm interpreter in lean, designed for reasoning
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.