Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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.

https://github.com/leanprover/lean4

Lean 4 programming language and theorem prover

lean lean4

Last synced: 04 Dec 2024

https://github.com/leantime/leantime

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

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

Last synced: 17 Dec 2024

https://github.com/Leantime/leantime

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

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

Last synced: 25 Oct 2024

https://github.com/leanprover-community/mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4

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

Last synced: 21 Oct 2024

https://github.com/lean-dojo/LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

formal-mathematics lean lean4 llm-inference machine-learning theorem-proving

Last synced: 20 Nov 2024

https://github.com/kenzok8/openwrt_build

一键多编译固件

immortalwrt lean lienol openwrt

Last synced: 20 Dec 2024

https://github.com/lean-dojo/LeanDojo

Tool for data extraction and interacting with Lean programmatically.

lean lean4 machine-learning theorem-proving

Last synced: 30 Oct 2024

https://github.com/dselsam/certigrad

Bug-free machine learning on stochastic computation graphs

lean machine-learning theorem-proving verification

Last synced: 19 Nov 2024

https://github.com/ezelikman/parsel

Code for Parsel 🐍 - generate complex programs with language models

ai lean machine-learning ml program-synthesis python robotics

Last synced: 05 Nov 2024

https://github.com/julian/lean.nvim

Neovim support for the Lean theorem prover

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

Last synced: 22 Dec 2024

https://github.com/0x676e67/luci-theme-design

LuCI design theme (Suitable for lede and OpenWrt)

design istore lean lede linkease luci openwrt theme webapp

Last synced: 18 Dec 2024

https://github.com/Julian/lean.nvim

Neovim support for the Lean theorem prover

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

Last synced: 26 Oct 2024

https://github.com/leanprover-community/batteries

The "batteries included" extended library for the Lean programming language and theorem prover

lean lean4

Last synced: 07 Nov 2024

https://github.com/joelparkerhenderson/maturity-models

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

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

Last synced: 26 Oct 2024

https://github.com/mariordev/mailtoui

A simple way to enhance your mailto links with a convenient user interface.

interface javascript lean mailto no-dependencies ui vanilla-javascript vanilla-js

Last synced: 29 Oct 2024

https://github.com/leanprover/vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

lean vscode

Last synced: 17 Dec 2024

https://github.com/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.

agile agile-development desenvolvimento devops fullstack lean livros softskills

Last synced: 21 Nov 2024

https://github.com/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.

agile agile-development desenvolvimento devops fullstack lean livros softskills

Last synced: 11 Nov 2024

https://github.com/lean-dojo/ReProver

Retrieval-Augmented Theorem Provers for Lean

lean machine-learning theorem-proving

Last synced: 29 Nov 2024

https://github.com/leanprover/theorem_proving_in_lean4

Theorem Proving in Lean 4

lean lean4

Last synced: 18 Dec 2024

https://github.com/sunnylife42/docs

战略管理越扎实，理想生活越可达。配备这组「人生战略管理帮手」，一起有思路有行动、灵活创造想要的生活 😋

flourish lean life plan self-management strategy triz

Last synced: 07 Nov 2024

https://github.com/leanprover-community/ProofWidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

lean lean4 visualization

Last synced: 29 Nov 2024

https://github.com/wellecks/llmstep

llmstep: [L]LM proofstep suggestions in Lean 4.

lean lean4 llm theorem-proving

Last synced: 29 Oct 2024

https://github.com/bamlab/dev-standards

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

bam development lean standardization

Last synced: 21 Dec 2024

https://github.com/eric-wieser/lean-matrix-cookbook

The matrix cookbook, proved in the Lean theorem prover

formal-mathematics lean lean4 matrices

Last synced: 05 Dec 2024

https://github.com/HEPLean/HepLean

A project to digitalise results from high energy physics into Lean.

lean physics theorem-proving

Last synced: 29 Nov 2024

https://github.com/gebner/hott3

HoTT in Lean 3

hott lean

Last synced: 06 Nov 2024

https://github.com/leanprover/lean4-cli

A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.

cli lean lean4

Last synced: 06 Nov 2024

https://github.com/nomeata/loogle

Mathlib search tool

lean lean4

Last synced: 06 Nov 2024

https://github.com/leanprover/LeanInk

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

alectryon interactive-theorem-proving lean lean4 visualization

Last synced: 29 Nov 2024

https://github.com/leanprover/leanink

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

alectryon interactive-theorem-proving lean lean4 visualization

Last synced: 06 Nov 2024

https://github.com/34j/best-of-lean4

A list of awesome lean4 projects. Feel free to add your project.

awesome best-of lean lean4

Last synced: 22 Oct 2024

https://github.com/kenzok78/build-openwrt

四个主流代码x86固件编译

immortalwrt lean lienol openwrt

Last synced: 16 Dec 2024

https://github.com/pygae/lean-ga

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

geometric-algebra lean

Last synced: 15 Nov 2024

https://github.com/0x676e67/actions-openwrt

Lean♂DHDAXCW Actions OpenWrt for Nanopi R5C/R4SE/X86

action ci lean lede luci nanopi openwrt r4s r4se r5c x86

Last synced: 27 Nov 2024

https://github.com/mo271/formalbook

Formalizing "Proofs from THE BOOK"

formal-proofs lean mathematics

Last synced: 04 Dec 2024

https://github.com/mo271/FormalBook

Formalizing "Proofs from THE BOOK"

formal-proofs lean mathematics

Last synced: 21 Nov 2024

https://github.com/risc0/risc0-lean4

A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover

lean lean4 risc-v risc0 riscv riscv32 riscv32im zero-knowledge zk-stark zkvm

Last synced: 11 Nov 2024

https://github.com/fgdorais/lean4-parser

Parser Combinator Library for Lean 4

lean lean4

Last synced: 29 Nov 2024

https://github.com/Julian/tree-sitter-lean

Experimental tree-sitter parser for the Lean (4) Theorem Prover

context-free-grammar lean lean4 syntax-highlighting tree-sitter

Last synced: 20 Nov 2024

https://github.com/julian/tree-sitter-lean

Experimental tree-sitter parser for the Lean (4) Theorem Prover

context-free-grammar lean lean4 syntax-highlighting tree-sitter

Last synced: 01 Nov 2024

https://github.com/gebner/trepplein

Lean type-checker written in Scala.

lean scala theorem-proving type-checker

Last synced: 06 Nov 2024

https://github.com/vaibhavkarve/leanteach2020

Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project

axioms geometry lean math mathematics

Last synced: 29 Nov 2024

https://github.com/bobld/lean-monitor-2

Windows/Linux/MacOS Desktop App to browse QuantConnect Lean engine's backtest and monitor live performances. Original project https://github.com/mirthestam/lean-monitor

algorithm algorithmic-trading avalonia backtesting csharp lean lean-monitor linux osx quantconnect trading trading-algorithms windows wpf

Last synced: 08 Nov 2024

https://github.com/anderssorby/sdl.lean

SDL2 bindings for lean

lean lean4 sdl2

Last synced: 07 Nov 2024

https://github.com/nyuichi/leanhol

super tiny implementation of higher-order logic proof assistant in lean

higher-order-logic lean proof-assistant

Last synced: 03 Dec 2024

https://github.com/reilabs/proven-zk

A support library for working with zero knowledge cryptography in Lean 4.

formal-verification lean lean4 zero-knowledge

Last synced: 14 Nov 2024

https://github.com/incognito/git-exfiltrator

Extract small increments from large changes

branches git git-exfiltrator lean prs

Last synced: 30 Oct 2024

https://github.com/zutrinken/kava

Ghost Theme

brvtal ghost lean theme

Last synced: 20 Nov 2024

https://github.com/erdiko/core

Erdiko framework core components

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

Last synced: 13 Nov 2024

https://github.com/S3-working-group/s3-praxisleitfaden

The German translation of "S3 - A practical guide", see the website for the full text and download links

agile holacracy kanban lean s3 scrum sociocracy-30 sociocray soziokratie

Last synced: 03 Nov 2024

https://github.com/yuxiaoy1/the-lean-web

精益 Web 开发是一套建立更简单、更快速的万维网的原则。

lean vanillajs web

Last synced: 22 Nov 2024

https://github.com/leanprover/lean-action

GitHub action for standard CI in Lean projects

github-actions lean lean4

Last synced: 06 Nov 2024

https://github.com/alexjbest/leaff

Leaff is a diff tool for Lean environments

lean lean4

Last synced: 29 Nov 2024

https://github.com/Seasawher/mathlib4-tactics

List of the output of #help command of mathlib4, including list of all tactics, commands...etc

lean lean4 reference

Last synced: 20 Nov 2024

https://github.com/FR-vdash-bot/Algorithm

Verified efficient algorithms in Lean4.

algorithm data-structure lean lean4

Last synced: 29 Nov 2024

https://github.com/forked-from-1kasper/lean4-categories

Playing with Category Theory in Lean 4

category-theory lean lean4 leanprover mathematics

Last synced: 10 Nov 2024

https://github.com/Seasawher/mdgen

Tool to generate markdown files from lean files. This is heavily inspired by lean2md.

lean lean4 markdown-converter

Last synced: 29 Nov 2024

https://github.com/totbwf/lean4-raytrace

A simple raytracer written in lean

lean lean4

Last synced: 16 Nov 2024

https://github.com/gebner/m17n-lean

System-wide Lean input method

fcitx ibus input-method lean m17n unicode

Last synced: 06 Nov 2024

https://github.com/T-Brick/lean2wasm

Tool for compiling Lean to WASM

lean lean4 wasm

Last synced: 29 Nov 2024

https://github.com/TOTBWF/lean4-raytrace

A simple raytracer written in lean

lean lean4

Last synced: 29 Nov 2024

https://github.com/reilabs/gnark-lean-demo

Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.

formal-verification gnark lean lean4 zero-knowledge

Last synced: 14 Nov 2024

https://github.com/tchajed/database-stream-processing-theory

Formalization of DBSP

lean

Last synced: 24 Nov 2024

https://github.com/forked-from-1kasper/leanbot

IRC-bot written in Lean (https://leanprover.github.io/)

irc lean leanprover

Last synced: 10 Nov 2024

https://github.com/FR-vdash-bot/transcendental

Lindemann–Weierstrass Theorem

lean

Last synced: 29 Nov 2024

https://github.com/AStarStartup/AStartupCookbook

A guide on how to invent, document, launch, and run a startup on GitHub with the AStartup Toolkit and I am You Language (IMUL).

books case-study engineering entrepreneurship idd lean productivity startups teams teamwork testing

Last synced: 13 Nov 2024

https://github.com/guilhem/devops-training

DevOps culture training

agile cloud devops hugo lean reveal-js sre

Last synced: 27 Oct 2024

https://github.com/paulcadman/raylean

Lean4 bindings for raylib

games-development lean puns raylib

Last synced: 12 Nov 2024

https://github.com/gihanmarasingha/miu_language

A decision procedure for the formal system MIU, written in Lean 3.18.4

decision-procedure lean leanprover miu

Last synced: 29 Nov 2024

https://github.com/jaalonso/calculemus2

Proof exercises in Lean4 and Isabelle/HOL

exercises isabelle-hol lean lean4 math proof-assistant

Last synced: 06 Dec 2024

https://github.com/eric-wieser/lean-graded-rings

A formalization of graded rings in Lean, corresponding to a CICM 2022 submission

cicm formal-mathematics lean mathlib

Last synced: 05 Dec 2024

https://github.com/arthurpaulino/chrome-lean-unicode

Type Lean unicode characters in your web browser

lean lean4

Last synced: 18 Oct 2024

https://github.com/kassane/lean4-zig

Zig bindings for Lean4

ffi-bindings lean lean-language lean4 zig ziglang

Last synced: 17 Oct 2024

https://github.com/uncomputable/natural-number-game

Reimplementation of Natural Number Game in Coq

coq game lean logic solutions theorem-prover

Last synced: 10 Oct 2024

https://github.com/anderssorby/nix.lean

Nix expressions and derivations in lean (in development)

lean lean4

Last synced: 07 Nov 2024

https://github.com/Lix0120/eudoxus

Formalise Eudoxus reals in lean and prove they form a complete Archimedean ordered field.

lean theorem-proving

Last synced: 29 Nov 2024

https://github.com/lean-ja/lean-by-example

Lean の基本的な構文や機能を紹介するためのサンプルコード集です．

lean lean4

Last synced: 30 Oct 2024

https://github.com/stangirard/smallest-possible-product

Lean Development, ROI-Focused Platform. SPP Marketplace: collaborate on minimalist, single-purpose apps for optimized results.

app genai lean llm marketplace product roi small

Last synced: 14 Nov 2024

https://github.com/kiranandcode/lean-aoc

Advent of code in Lean4

advent-of-code lean lean4

Last synced: 13 Dec 2024

https://github.com/Seasawher/mk-exercise

Simple and intuitive tool to manage exercises in textbooks written in Lean.

lean lean4

Last synced: 29 Nov 2024

Lean Awesome Lists
Lean Categories