Agnuxo1/best-of-lean4
A list of awesome lean4 projects. Feel free to add your project.
Lean Algorithmic Trading Engine by QuantConnect (Python, C#)
Appears on
Quick read
Latest capture 2026-09-29 03:05
Archive status reflects the last catalog sync, not a maintenance assessment. Check recent releases, issue responses, and fit for your project with the repository shortlisting checklist.
0 paths
Agent instructions and tool configuration found in this repository.
No config files detected.
5 observed captures since 2026-06-19. Observed captures are shown by default.
Stars from first capture +1837
Observed captures only
All tracked data
Observed snapshots
Observed snapshots
Nearest indexed repositories by embedding similarity.
A list of awesome lean4 projects. Feel free to add your project.
FinceptTerminal is a modern finance application offering advanced market analytics, investment research, and economic data tools, designed for interactive exploration and data-driven decision-making in a user-friendly environment.
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
💻 Democratizing Snippet Management (macOS/Win/Linux)
Best LeetCode friend for geek. :snowboarder:
An Open Source Portfolio Backtesting Engine for Everyone | 面向所有人的开源投资组合回测引擎