All Categories → No Category → lean

Top 11 lean open source projects

Homepage Theorem Proving in Lean FAQ

✭ 2,006

C++Lean CMake c shell python verification type-theory theorem-proving lean

Formally verified implementation of Alive in Lean

✭ 30

Erdiko framework core components

✭ 18

PHP shell micro-framework lean micro-mvc-framework erdiko erdiko-framework

Openwrt automatic compilation project of github action

✭ 28

shell openwrt lede lean

OpenWrt Stable 1907 with lean's package

✭ 55

c objective c Makefile C++shell lua router openwrt raspberrypi stable lean zh-cn autocompile openwrt-zh-cn openwrt1907 openwrt-stable

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

✭ 17

PHP javascript Blade CSS trello todo laravel knockoutjs lean

SSR 科学上网软件

✭ 65

c lua Makefile shell HTML lean openwrt-package helloword luci-app-ssr-plus ssr-plus

maturity-models

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

✭ 157

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

A partial formalization of Geometric Algebra in the Lean formal proof verification system.

✭ 30

Lean lean geometric-algebra

s3-practical-guide

A practical guide for Sociocracy 3.0.

✭ 56

HTML TeX Makefile CSS shell patterns agile s3 scrum creative-commons lean organizations holacracy sociocracy-30 sociocracy

A lean product design process in markdown that enables cross-functional teams to take an idea from napkin to scale by prioritizing learnings to produce customer-centered solutions.

✭ 28

design lean design-document design-system design-process design-docs prioritizing-learnings

1-11 of 11 lean projects