Lists (1)
Starred repositories
Graphs that teach > graphs that impress. Turn any code into an interactive knowledge graph you can explore, search, and ask questions about. Works with Claude Code, Codex, Cursor, Copilot, Gemini C…
Secure, Fast, and Extensible Sandbox runtime for AI agents.
Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.
A collection of formalized statements of conjectures in Lean.
📑 PageIndex: Document Index for Vectorless, Reasoning-based RAG
The easiest, most secure way to use WireGuard and 2FA.
The simplest, fastest repository for training/finetuning medium-sized GPTs.
[Arxiv] Discrete Diffusion in Large Language and Multimodal Models: A Survey
LLaDA is a diffusion model for natural language that, unlike traditional autoregressive models, learns to model the distribution of text through a process of progressive data masking and its invers…
The official GitHub repo for the survey paper "A Survey on Diffusion Language Models".
Offline speech recognition API for Android, iOS, Raspberry Pi and servers with Python, Java, C# and Node
Official repository for TPAMI2024 "A Survey of Label-Efficient Deep Learning for 3D Point Clouds"
Tools based on AI for helping with Lean 4
[COLM 2024] A Survey on Deep Learning for Theorem Proving
Tool for data extraction and interacting with Lean programmatically.
Retrieval-Augmented Theorem Provers for Lean
Pocket Flow: Codebase to Tutorial
Command-line XML and HTML beautifier and content extractor
Structured state space sequence models
Python SDK, Proxy Server (AI Gateway) to call 100+ LLM APIs in OpenAI (or native) format, with cost tracking, guardrails, loadbalancing and logging. [Bedrock, Azure, OpenAI, VertexAI, Cohere, Anthr…
An extremely fast CSS parser, transformer, bundler, and minifier written in Rust.
Hackable CLI tool for converting Markdown files to PDF using Node.js and headless Chrome.