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-08-16 03:03
0 paths
Agent instructions and tool configuration found in this repository.
No config files detected.
4 observed captures since 2026-06-19. Observed captures are shown by default.
Stars from first capture +1257
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.
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
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.
💻 Democratizing Snippet Management (macOS/Win/Linux)
An Open Source Portfolio Backtesting Engine for Everyone | 面向所有人的开源投资组合回测引擎
Best LeetCode friend for geek. :snowboarder: