Agnuxo1/best-of-lean4

yvgude/lean-ctx

Lean Cortex -- the cognitive context layer for agentic systems. 51+ MCP tools, 10 read modes, 95+ shell patterns. Up to 99% token savings. Works with Cursor, Claude Code, Copilot, Windsurf, Codex, Gemini.

2228 stars

Rust 3 awesome lists

chaos-genius/chaos_genius

ML powered analytics engine for outlier detection and root cause analysis.

777 stars

Python 2 awesome lists

Epic-Breakfast-Productions/OpenQuarterMaster

Open Quartermaster is an open source inventory management system, designed to be simple to use yet powerful and extendable. The last inventory management system you will ever need!

65 stars

Java 1 awesome list

hackjutsu/Lepton

💻 Democratizing Snippet Management (macOS/Win/Linux)

10334 stars

JavaScript 1 awesome list

leanprover/lean4

Lean 4 programming language and theorem prover

8161 stars

Lean 1 awesome list

hyhmrright/brooks-lint

AI code reviews grounded in 12 classic engineering books — decay risk diagnostics with book citations, severity labels, and 6 analysis modes including full-sweep auto-fix

182 stars

JavaScript 1 awesome list