#

lean

Here are 161 public repositories matching this topic...

leanprover / lean

Star

Lean Theorem Prover

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

Updated Aug 6, 2020
C++

leanprover-community / mathlib

Star

Lean mathematical components library

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

Updated Jul 29, 2021
Lean

lorabv / awesome-agile

Star

Awesome List of resources on Agile Software Development.

Updated Jan 17, 2021

leantime

Leantime / leantime

Sponsor Star

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

productivity php sql agile calendar project-management kanban scrum lean timesheets startups gantt kanban-boards retrospective task-management

Updated Jul 11, 2021
PHP

chris-short / DevOps-README.md

Sponsor Star

What to Read to Learn More About DevOps

Updated Mar 26, 2021

dselsam / certigrad

Star

Bug-free machine learning on stochastic computation graphs

machine-learning theorem-proving verification lean

Updated Mar 3, 2019
Lean

symlex / symlex

Star

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 Jun 16, 2021
PHP

boduoyejieyi666 / whonolikeboduoyejieyi

Star

https://boduoyejieyi666.github.io/whonolikeboduoyejieyi/

openwrt x64 trojan x86 lean helloworld r2s r4s openclash lienol passwall vssr immortalwrt ssrp xiaorouji vernesong

Updated Jul 26, 2021
Shell

mariordev / mailtoui

Star

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 Jun 15, 2021
JavaScript

HuaZhuangNan / actions-build-padavan-openwrt

Star

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

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

Updated Jun 15, 2021
C

devMozao / estante

Star

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

joelparkerhenderson / maturity-models

Sponsor Star

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

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

Updated Jun 16, 2021

bamlab / dev-standards

Star

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

development lean standardization bam

Updated Dec 29, 2018
JavaScript

DreamWalkerXZ / Actions-OpenWrt-K2P

Star

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 passwall ssr-plus

Updated Jun 24, 2021
Shell

gebner / hott3

Star

HoTT in Lean 3

Updated Aug 3, 2020
Lean

iyuangang / openwrt

Star

OpenWrt Stable 1907 with lean's package

router openwrt raspberrypi stable lean zh-cn autocompile openwrt-zh-cn openwrt1907 openwrt-stable

Updated Sep 24, 2020
C

OpenWrt-Actions / helloworld

Star

SSR 科学上网软件

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

Updated Jul 28, 2021
C

jameschch / LeanParameterOptimization

Star

Parameter Optimization for Lean Algorithms

csharp trading optimization lean sharpe-ratio blazor lean-algorithms

Updated Apr 21, 2021
C#

S3-working-group / s3-practical-guide

Star

A practical guide for Sociocracy 3.0.

patterns agile s3 scrum creative-commons lean organizations holacracy sociocracy-30 sociocracy

Updated Jun 24, 2021
HTML

microsoft / AliveInLean

Star

Formally verified implementation of Alive in Lean

Updated Apr 20, 2019
Lean

Julian / lean.nvim

Sponsor Star

Open

Make standalone files use the Lean version from `elan default` when set / present

rish987 commented Jul 7, 2021

Standalone files (i.e. not part of any project structure) are assumed to always be Lean 4, regardless of whether you had set elan default ... to be Lean 3.

Potential fix described at #81.

Read more

bug good first issue

Open

Configurably autoclose the infoview if it has no Lean buffers updating it

ClayMoreBoy / OpenWrt-Actions-R7800

Star

R7800 Build OpenWrt using GitHub Actions | 使用 GitHub Actions 云编译 R7800 OpenWrt 每天编译更新固件

openwrt lean netgear github-actions actions-openwrt lienol passwall ssr-plus r7800

Updated Jul 20, 2021
Shell

mhumph / zenboard

Star

Teamwork made easy

productivity agile gtd collaboration scrum lean

Updated Jan 16, 2020
JavaScript

git-exfiltrator

Incognito / git-exfiltrator

Star

Extract small increments from large changes

git lean prs branches git-exfiltrator

Updated Jan 3, 2020
Shell

leanprover-community / vscode-lean4

Star

Updated Jul 17, 2021
TypeScript

pygae / lean-ga

Star

A work-in-progress formalization of Geometric Algebra in the Lean formal proof verification system.

lean geometric-algebra

Updated Jul 8, 2021
Lean

masoodahm / Mejili

Star

A Trello clone based on PHP using Laravel 4.2, knockout and twitter bootstrap

php trello todo laravel knockoutjs lean

Updated Apr 20, 2021
PHP

annenkov / two-level

Star

Two-Level Type Theory

proof-assistant type-theory lean formalization homotopy-type-theory

Updated Dec 13, 2019
Lean

Erdiko / core

Star

Erdiko framework core components

php micro-framework lean micro-mvc-framework erdiko erdiko-framework

Updated Sep 25, 2017
PHP

zutrinken / kava

Star

Ghost Theme

theme ghost lean brvtal

Updated May 25, 2021
SCSS

Improve this page

Add a description, image, and links to the lean topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the lean topic, visit your repo's landing page and select "manage topics."