Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
-
Updated
May 15, 2024 - PHP
Lean is a functional programming language that makes it easy to write correct
and maintainable code. You can also use Lean as an interactive theorem prover.
Lean programming primarily involves defining types and functions. This allows
your focus to remain on the problem domain and manipulating its data, rather
than the details of programming.
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
GitHub Action 学习实例 - 自动编译 padavan 和 openWrt
Lean 3's obsolete mathematical components library: please use mathlib4
Lean Theorem Prover
Awesome List of resources on Agile Software Development.
Use Github Actions to automatically compile Lean's Modified Lede source for K2P
Helsingin yliopiston kurssin Ohjelmistotuotanto materiaali
常用 OpenWrt 软件包合集,定时自动更新,适用于 Lean 源码
Maturity models for IT, Agile, DevOps, TOGAF, Six Sigma, P3M3, etc.
LLMs as Copilots for Theorem Proving in Lean
Tool for data extraction and interacting with Lean programmatically.
Custom OpenWrt build for Raspberry Pi 1/2/3/4, x86/x64 PC (BIOS), NanoPi R2S/R4S and Orange Pi Zero/R1 Plus
Created by Leonardo de Moura
Released 2013