Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with lean

A curated list of projects in awesome lists tagged with lean .

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: 30 Jul 2024

https://github.com/leanprover/lean4

Lean 4 programming language and theorem prover

lean lean4

Last synced: 30 Sep 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: 04 Aug 2024

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

Tool for data extraction and interacting with Lean programmatically.

lean lean4 machine-learning theorem-proving

Last synced: 31 Jul 2024

https://github.com/dselsam/certigrad

Bug-free machine learning on stochastic computation graphs

lean machine-learning theorem-proving verification

Last synced: 09 Aug 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: 01 Aug 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 Sep 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: 30 Jul 2024

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

Standard Library for Lean 4

lean lean4

Last synced: 01 Aug 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: 30 Jul 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: 31 Jul 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: 04 Aug 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: 02 Aug 2024

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

Retrieval-Augmented Theorem Provers for Lean

lean machine-learning theorem-proving

Last synced: 09 Aug 2024

https://github.com/leanprover/theorem_proving_in_lean4

Theorem Proving in Lean 4

lean lean4

Last synced: 04 Aug 2024

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

Visual Studio Code extension for the Lean 4 proof assistant

lean vscode

Last synced: 31 Jul 2024

https://github.com/sunnylife42/docs

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

flourish lean life plan self-management strategy triz

Last synced: 01 Aug 2024

https://github.com/wellecks/llmstep

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

lean lean4 llm theorem-proving

Last synced: 09 Aug 2024

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

Helper toolkit for creating your own Lean 4 UserWidgets

lean lean4 visualization

Last synced: 09 Aug 2024

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

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

bam development lean standardization

Last synced: 28 Aug 2024

https://github.com/gebner/hott3

HoTT in Lean 3

hott lean

Last synced: 09 Aug 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: 09 Aug 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: 09 Aug 2024

https://github.com/nomeata/loogle

Mathlib search tool

lean lean4

Last synced: 09 Aug 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: 03 Aug 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: 09 Aug 2024

https://github.com/mo271/formal_book

Formalizing "Proofs from THE BOOK"

formal-proofs lean mathematics

Last synced: 04 Aug 2024

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

Parser Combinator Library for Lean 4

lean lean4

Last synced: 09 Aug 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 Oct 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: 04 Aug 2024

https://github.com/zutrinken/kava

Ghost Theme

brvtal ghost lean theme

Last synced: 01 Aug 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: 01 Aug 2024

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

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

lean vanillajs web

Last synced: 07 Aug 2024

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

Playing with Category Theory in Lean 4

category-theory lean lean4 leanprover mathematics

Last synced: 04 Aug 2024

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

Verified efficient algorithms in Lean4.

algorithm data-structure lean lean4

Last synced: 09 Aug 2024

https://github.com/alexjbest/leaff

Leaff is a diff tool for Lean environments

lean lean4

Last synced: 09 Aug 2024

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

A simple raytracer written in lean

lean lean4

Last synced: 09 Aug 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: 09 Aug 2024

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

Tool for compiling Lean to WASM

lean lean4 wasm

Last synced: 09 Aug 2024

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

System-wide Lean input method

fcitx ibus input-method lean m17n unicode

Last synced: 09 Aug 2024

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

Formalization of DBSP

lean

Last synced: 04 Aug 2024

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

GitHub action for standard CI in Lean projects

github-actions lean lean4

Last synced: 09 Aug 2024

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

Lindemann–Weierstrass Theorem

lean

Last synced: 09 Aug 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: 02 Aug 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: 09 Aug 2024

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

Type Lean unicode characters in your web browser

lean lean4

Last synced: 04 Aug 2024

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

Zig bindings for Lean4

ffi-bindings lean lean-language lean4 zig ziglang

Last synced: 01 Oct 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: 09 Aug 2024

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

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

lean lean4

Last synced: 31 Jul 2024

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

Reimplementation of Natural Number Game in Coq

coq game lean logic solutions theorem-prover

Last synced: 27 Sep 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: 09 Aug 2024

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

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

lean lean4

Last synced: 09 Aug 2024

https://github.com/utensil/ginac-lean

A work-in-progress Lean 4 binding to GiNaC

lean lean4

Last synced: 09 Aug 2024

https://github.com/Seasawher/lean-book

mdbook template for lean project

lean lean4 mdbook

Last synced: 09 Aug 2024

https://github.com/appliedfm/growth-data

Measuring the growth of open source formal methods

ada agda appliedfm coq idris isabelle lean tla

Last synced: 27 Sep 2024

https://github.com/Seasawher/import-all

This script can check and auto-generate `import` statements in a lean4 repository.

lean lean4

Last synced: 09 Aug 2024

https://github.com/szepeviktor/lean-filter

Adblock Plus filter

adblock filter lean ublock-origin

Last synced: 02 Oct 2024

https://github.com/usc-fall-2024-math-587/homework1

Substitution ciphers

crytography latex lean math

Last synced: 26 Sep 2024

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

List of the all tactics of mathlib4. This is heavily inspired by haruhisa-enomoto/mathlib4-all-tactics

lean lean4 tactics

Last synced: 04 Aug 2024

https://github.com/shilangyu/formal-lang

A formal definition of a language accompanied by proofs of its properties.

formal-verification lean memory-safety programming-language-theory stainless

Last synced: 01 Oct 2024

https://github.com/luavreis/lean4-minimal-mode

Minimalistic Emacs major mode for Lean 4 using Eglot.

emacs emacs-mode lean lean4

Last synced: 29 Sep 2024