Stars
An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
Algebrica is free and open a mathematical knowledge base dedicated to clarity, structure, and conceptual coherence.
A collection of 265 rules across 26 categories that AI coding agents can use to write idiomatic, fast, and safe Rust.
handles communicating with moderators related to moderatering submissions
Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.
Safe Rust bindings for [libarchive](https://github.com/libarchive/libarchive) v3.8.1, providing cross-platform archive reading and writing capabilities.
Rhai - An embedded scripting language for Rust.
A cargo subcommand that detects duplicate and near-duplicate code blocks in Rust codebases using AST normalization
Codebase intelligence for TypeScript and JavaScript. Free static analysis of code and styles: unused code, duplication, circular deps, complexity hotspots, architecture boundaries, design-system dr…
A vector index built on TurboQuant, written in Rust with Python bindings
Skills for Real Engineers. Straight from my .agents directory.
A Pure Rust based LLM, VLM, VLA, TTS, OCR Inference Engine, powering by Candle & Rust. Alternate to your llama.cpp but much more simpler and cleaner..
>99.5% KaTeX syntax coverage. LaTeX math renderer in pure Rust. No JavaScript, no WebView, no DOM. One Rust core → iOS, Android, Flutter, Web, PNG. C ABI · WASM · Server-side PNG/SVG.
🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.
🌐 Make websites accessible for AI agents. Automate tasks online with ease.
🐐 Simple and complete React DOM testing utilities that encourage good testing practices.
A minimal, secure Python interpreter written in Rust for use by AI
The agent that grows with you
The best-benchmarked open-source AI memory system. And it's free.
Agent skill to turn any arxiv paper into a working implementation