Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.

Lean 4 programming language and theorem prover

Lean Theorem Prover

Lean 3's obsolete mathematical components library: please use mathlib4

Awesome List of resources on Agile Software Development.

LLMs as Copilots for Theorem Proving in Lean

一键多编译固件

What to Read to Learn More About DevOps

Tool for data extraction and interacting with Lean programmatically.

Bug-free machine learning on stochastic computation graphs

Code for Parsel 🐍 - generate complex programs with language models

A lean framework stack for agile Web development based on Symfony and Vuetify

LuCI design theme (Suitable for lede and OpenWrt)

GitHub Action 学习实例 - 自动编译 padavan 和 openWrt

常用 OpenWrt 软件包合集，定时自动更新，适用于 Lean 源码

neovim support for the Lean theorem prover

Maturity models for IT, Agile, DevOps, TOGAF, Six Sigma, P3M3, etc.

Standard Library for Lean 4

LLM verified with Monte Carlo Tree Search

A simple way to enhance your mailto links with a convenient user interface.