#

Lean

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.

Here are 307 public repositories matching this topic...

leantime

Leantime / leantime

Leantime is a strategic project management system for non-project managers.

Updated Oct 14, 2023
PHP

leanprover / lean4

Lean 4 programming language and theorem prover

Updated Oct 15, 2023
Lean

leanprover / lean3

Lean Theorem Prover

programming-language dependent-types theorem-proving verification type-theory lean

Updated Oct 14, 2023
C++

leanprover-community / mathlib

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

theorem-proving lean formal-methods formal-mathematics proof-automation formal-proofs

Updated Oct 13, 2023
Lean

lorabv / awesome-agile

Awesome List of resources on Agile Software Development.

Updated Mar 8, 2022

openwrt_Build

kenzok8 / openwrt_Build

一键多编译固件

openwrt lean lienol immortalwrt

Updated Oct 14, 2023
Shell

chris-short / DevOps-README.md

What to Read to Learn More About DevOps

Updated Sep 14, 2022

dselsam / certigrad

Bug-free machine learning on stochastic computation graphs

machine-learning theorem-proving verification lean

Updated Mar 3, 2019
Lean

ezelikman / parsel

Code for Parsel 🐍 - generate complex programs with language models

python machine-learning ai robotics ml program-synthesis lean

Updated Sep 17, 2023
Python

lean-dojo / LeanDojo

Tool for data extraction and interacting with Lean programmatically.

machine-learning theorem-proving lean

Updated Oct 13, 2023
Python

symlex / symlex

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

php symfony rest agile micro-framework php-framework full-stack lean vuetify

Updated Jan 21, 2022
PHP

huazhuangnan / actions-build-padavan-openwrt

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

openwrt actions lean padavan github-actions openclash adguardhome actions-openwrt lienol coolsnowwolf openwrt-actions actions-padavan padavan-openwrt openappfilter

Updated Aug 30, 2022
C

joelparkerhenderson / maturity-models

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

enterprise devops it agile sysadmin iac lean maturity-models six-sigma

Updated Sep 15, 2023

gngpp / luci-theme-design

LuCI design theme (Suitable for lede and OpenWrt)

theme design openwrt lede webapp lean luci linkease istore

Updated Sep 26, 2023
CSS

mariordev / mailtoui

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

javascript ui interface vanilla-javascript mailto vanilla-js lean no-dependencies

Updated Jan 3, 2023
JavaScript

devmozao / estante

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.

devops agile lean fullstack desenvolvimento livros agile-development softskills

Updated Feb 20, 2023

haiibo / openwrt-packages

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

Updated Oct 14, 2023
JavaScript

Julian / lean.nvim

neovim support for the Lean theorem prover

tree-sitter neovim nvim lean neovim-plugin leanprover nvim-treesitter lean4

Updated Oct 15, 2023
Lua

leanprover / std4

Standard Library for Lean 4

Updated Oct 15, 2023
Lean

sunnylife42 / docs

战略管理越扎实，理想生活越可达。配备这组「人生战略管理帮手」，即使情况复杂多变，也易稳健搞定要事、探索创造内心想要的生活 😋

life lean strategy plan self-management triz flourish

Updated Oct 6, 2023
MDX

Created by Leonardo de Moura

Released 2013

Followers: 23 followers
Repository: leanprover/lean
Website: leanprover.github.io
Wikipedia: Wikipedia