#

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 236 public repositories matching this topic...

leanprover / lean

Lean Theorem Prover

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

Updated Aug 6, 2020
C++

leanprover / lean4

Lean 4 programming language and theorem prover

Updated Feb 12, 2023
Lean

leantime

Leantime / leantime

Sponsor

Leantime is a lean project management system for non-project managers. Designed to help you manage your projects from ideation to delivery.

php trello jira sql agile calendar projects project-management kanban scrum lean timesheets asana gantt hacktoberfest notion retrospective clickup leantime

Updated Feb 12, 2023
PHP

leanprover-community / mathlib

Lean mathematical components library

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

Updated Feb 12, 2023
Lean

lorabv / awesome-agile

Awesome List of resources on Agile Software Development.

Updated Mar 8, 2022

chris-short / DevOps-README.md

Sponsor

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

openwrt_Build

kenzok8 / openwrt_Build

一键多编译固件

openwrt lean lienol immortalwrt

Updated Feb 11, 2023
Shell

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

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

joelparkerhenderson / maturity-models

Sponsor

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

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

Updated Mar 17, 2022

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 May 23, 2021

ezelikman / parsel

Code for Parsel 🐍 - generate complex programs with language models

python machine-learning ai robotics ml program-synthesis lean

Updated Feb 12, 2023
Python

Julian / lean.nvim

Sponsor

neovim support for the Lean theorem prover

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

Updated Jan 16, 2023
Lua

DreamWalkerXZ / Actions-OpenWrt-K2P

Use Github Actions to automatically compile Lean's Modified Lede source for K2P

router openwrt lede lean openwrt-zh-cn k2p github-actions actions-openwrt ssr-plus

Updated May 8, 2022
Shell

bamlab / dev-standards

https://bamtech.gitbooks.io/dev-standards/

development lean standardization bam

Updated Dec 29, 2018
JavaScript

leanprover / theorem_proving_in_lean4

Theorem Proving in Lean 4

Updated Feb 8, 2023
JavaScript

gebner / hott3

HoTT in Lean 3

Updated Aug 3, 2020
Lean

OpenWrt-Actions / helloworld

SSR 科学上网软件

lean openwrt-package helloword luci-app-ssr-plus ssr-plus

Updated Feb 17, 2022
C

Created by Leonardo de Moura

Released 2013

Latest release about 4 years ago

Repository: leanprover/lean
Website: leanprover.github.io
Wikipedia: Wikipedia