#Lean
Showing 19 of 19 repositories tagged #lean, ranked by stars
Carbon is an open source ERP, MES and QMS for manufacturing. Perfect for complex assembly, contract manufacturing, and configure to order manufacturing.
LLMs as Copilots for Theorem Proving in Lean
A verification toolchain for Rust programs
Tool for data extraction and interacting with Lean programmatically.
Visualizing the network of math theories.
Neovim support for the Lean theorem prover
What to Read to Learn More About DevOps
VS Code extension for the Lean 4 programming language and theorem prover
Maturity models for IT, Agile, DevOps, TOGAF, Six Sigma, P3M3, etc.
Helper toolkit for creating your own Lean 4 UserWidgets
Lista de leituras recomendadas à todas as pessoas que desejam trilhar uma carreira de Desenvolvimento, tenham experiência na área ou não. Também é abordado livros de soft skill na estante e temas complementares e pertinentes a profissão. Ex: design thinking, psicologia comportamental, etc.
RaiSE Framework — Reliable AI-assisted Software Engineering. Lean methodology + deterministic toolkit for building production software with AI.
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
Parameter Optimization for Lean Algorithms
Windows/Linux/MacOS Desktop App to browse QuantConnect Lean engine's backtest and monitor live performances. Original project https://github.com/mirthestam/lean-monitor
Teamwork made easy
A Qt GUI interface and build system for QuantConnect's Lean
A collection of algorithmic trading strategies for QuantConnect, including straddle options, triangular arbitrage, and crypto strategies. Features data analysis, visualization, backtesting, and optimization tools, all designed for seamless integration with the QuantConnect API. Perfect for quantitative traders aiming to develop and test strategies.
QuantConnect LEAN engine documentation, strategy templates, and reference material for algorithmic trading