#

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

leantime

Leantime / leantime

Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.

Updated Nov 23, 2024
PHP

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

Erdiko / core

Erdiko framework core components

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

Updated Sep 25, 2017
PHP

masoodahm / Mejili

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

leankoala-gmbh / LeanApiBundle

A small bundle for API request handling in Symfony

api php symfony-bundle lean

Updated Aug 26, 2024
PHP

esanmar / KPI-from-SAP

Dashboard summarizing confirmations from SAP and refers to a target

javascript php real-time online dashboard sap production planning kpi lean

Updated Nov 22, 2022
PHP

lean-stack / php-messagebus

A Lean PHP Messagebus

php command-bus lean

Updated Jul 6, 2017
PHP

Created by Leonardo de Moura

Released 2013

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