#

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

luapmartin / manifeste-agile

Le manifeste agile en français dans un fichier LaTeX. (format feuille A4)

latex agile lean manifeste-agile

Updated Oct 3, 2016
TeX

brendanzab / lean_tutorial_exercises

Answers to the exercises in the Lean tutorial

dependent-types lean exercise-solutions

Updated Oct 8, 2016
Lean

SwathiMystery / software-development-philosophy

Rules for software development. A proven methodology.

unix manifesto philosophy software lean

Updated Jan 25, 2017

elemental-source / awesome-agile

A hub of blog posts, papers and discussion around Agile theory and practices for software developers

awesome psm kanban scrum lean awesome-list pragmatic-programming agile-manifesto

Updated Feb 9, 2017

jroesch / lean.js

An example of using Lean's backend API to implement a new language backend.

javascript programming-language compiler lean

Updated Feb 19, 2017
Lean

ajanos / f-agile

A short session about personal experiences with agile.

productivity agile session scrum lean

Updated Feb 26, 2017

digitalteams / digitalteams.github.io

GH Pages

devops agile digital teams lean

Updated Feb 26, 2017
HTML

lean-stack / php-messagebus

A Lean PHP Messagebus

php command-bus lean

Updated Jul 6, 2017
PHP

citrudev / devmemoir.io-

devmemoir.io is new way of documenting your code, so people learning to code can come along for the journey

Updated Jul 17, 2017

Erdiko / core

Erdiko framework core components

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

Updated Sep 25, 2017
PHP

luapmartin / kaizen

Kaizen : The 12 Fundamental Points / Les 12 Points fondamentaux.

agile best-practices lean kaizen agile-development

Updated Nov 1, 2017

TarikDjebienMasterDegree / QSI

Information System Quality Assurance

testing specification lean itil cmmi

Updated Nov 13, 2017

marcielleal / LogicProblems

Solutions of problems of Computational logic's course in Lean

prolog lean logical lo

Updated Dec 13, 2017
Lean

Polodis / polodis_bok

Polodis Body of Knowledge

agile lean compliance governance risk-management organization-design mission-command

Updated Jan 4, 2018

ssomayyajula / linear

Linear Algebra Done...Lean

linear-algebra proof verification lean

Updated Jan 15, 2018
Lean

abuggin / fresh-and-lean

lean code kata - fresco plc software

scala kata lean fresco tdd-kata

Updated Jan 26, 2018
Scala

spl / alpha-conversion-is-easy

Lean proof of alpha-conversion is easy

Updated Jan 31, 2018
Lean

josecuellar / ABTestDotNetCore

Simple Engine for AB Testing with Dot Net Core

aspnetcore dotnetcore lean ab-testing abtest lean-startup

Updated Feb 6, 2018
C#

markbsigler / markbsigler.github.io

markbsigler.github.io

resume profile enterprise devops cloud product agile software lean markbsigler

Updated Mar 8, 2018

bendalby82 / valuestream

Value Stream Mapping Tool

lean leanmapper

Updated Mar 13, 2018

Created by Leonardo de Moura

Released 2013

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