mariordev/mailtoui

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

Language: JavaScript - Size: 1.3 MB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 193 - Forks: 12

jtb21091/LeanSixSigma

Lean six sigma app

Language: HTML - Size: 272 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

pygae/lean-ga

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

Language: Lean - Size: 3.56 MB - Last synced at: 16 days ago - Pushed at: over 1 year ago - Stars: 53 - Forks: 4

alexjbest/leaff

Leaff is a diff tool for Lean environments

Language: Lean - Size: 224 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 15 - Forks: 1

ohjelmistotuotanto-hy/ohjelmistotuotanto-hy.github.io

Helsingin yliopiston kurssin Ohjelmistotuotanto materiaali

Language: SCSS - Size: 92.1 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 6 - Forks: 116

TOTBWF/lean4-raytrace

A simple raytracer written in lean

Language: Lean - Size: 117 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 11 - Forks: 0

pitmonticone/LeanInVienna2024

Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.

Language: Lean - Size: 1.58 MB - Last synced at: 10 days ago - Pushed at: 4 months ago - Stars: 9 - Forks: 2

aconite-ac/aconite-ac.github.io

Leanの日本語情報(非公式)を掲載します。

Language: HTML - Size: 3.66 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

aconite-ac/theorem_proving_in_lean4 Fork of leanprover/theorem_proving_in_lean4

Theorem Proving in Lean 4 日本語訳

Language: JavaScript - Size: 9.21 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 10 - Forks: 3

annenkov/two-level

Two-Level Type Theory

Language: Lean - Size: 151 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 28 - Forks: 1

Anderssorby/Nix.lean

Nix expressions and derivations in lean (in development)

Language: Lean - Size: 121 KB - Last synced at: 7 days ago - Pushed at: about 2 years ago - Stars: 9 - Forks: 0

kiranandcode/lean-aoc

Advent of code in Lean4

Language: Lean - Size: 123 KB - Last synced at: 18 days ago - Pushed at: 5 months ago - Stars: 7 - Forks: 0

aarjaneiro/QtLean

A Qt GUI interface and build system for QuantConnect's Lean

Language: C++ - Size: 4.82 MB - Last synced at: 18 days ago - Pushed at: about 4 years ago - Stars: 15 - Forks: 4

dmyTRUEk/aoc2024-lean4

Advent of Code 2024 solutions using Lean4

Language: Python - Size: 307 KB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

ryanallen/designDoc

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.

Size: 45.9 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 43 - Forks: 11

paolobrasolin/awesome-lean

A collaborative list of awesome Lean resources. Feel free to contribute!

Size: 8.79 KB - Last synced at: 18 days ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0

elemental-source/awesome-agile

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

Size: 3.91 KB - Last synced at: 16 days ago - Pushed at: over 8 years ago - Stars: 16 - Forks: 1

guilhem/devops-training

DevOps culture training

Language: JavaScript - Size: 11.1 MB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 10 - Forks: 6

crvdgc/aoc2024lean

Advent of Code 2024 in Lean4

Language: Lean - Size: 40 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

vbeffara/RMT4

The Riemann mapping theorem

Language: Lean - Size: 555 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 4 - Forks: 1

claby2/axiomatic-set-theory

∃∀ Formalizing Enderton's "Elements of Set Theory" in Lean

Language: Lean - Size: 73.2 KB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

AStarStartup/AStartupCookbook

A guide on how to invent, document, launch, and run a startup on GitHub with the AStartup Toolkit.

Language: C++ - Size: 5.69 MB - Last synced at: 19 days ago - Pushed at: over 2 years ago - Stars: 12 - Forks: 1

lean-ja/fp-lean-ja

Functional Programming in Lean の日本語訳. 演習問題への解答を含みます（作業中 🚧）

Language: Lean - Size: 1.24 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 8 - Forks: 2

joaopauloaramuni/trabalhos-finais

Repo Trabalhos finais

Size: 6.53 MB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 20 - Forks: 0

utensil/LeanBlueprintExample

Language: Lean - Size: 6.99 MB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 1

zelosleone/lean-theorems

A repository for studying and implementing Lean theorems, focusing on mathematical and philosophical concepts.

Language: Lean - Size: 12.7 KB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0

SwathiMystery/software-development-philosophy

Rules for software development. A proven methodology.

Size: 4.88 KB - Last synced at: about 2 months ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 0

James-Oswald/Fuzzy-DL

Failed attempt at formalizing the description logic ALC in Lean4

Language: Lean - Size: 8.79 KB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

spamegg1/spamegg1-thm-prov-lean4

Working through Theorem Proving in Lean4

Language: Lean - Size: 111 KB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

lean-ja/lean-by-example-legacy 📦

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

Language: Lean - Size: 169 KB - Last synced at: 7 days ago - Pushed at: 6 months ago - Stars: 6 - Forks: 1

hargoniX/crup

A Checker for RUP proofs written in Lean 4

Language: Lean - Size: 55.7 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

oliversoeser/PPS-Lean

Formalising the results of Proofs and Problem Solving (MATH08059)

Language: Lean - Size: 9.77 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

gabriel-fallen/verification-in-lean4

Examples and exercises related to formal program verification in Lean 4.

Language: Lean - Size: 2.93 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

igreat/tiny-prover

A simple first order logic theorem prover using tableaux

Language: OCaml - Size: 1.13 MB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

ScrumAce/scrumace.github.io

Official Website for ScrumAce

Size: 3.83 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

Lix0120/eudoxus

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

Language: Lean - Size: 123 KB - Last synced at: 6 months ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 1

eGenix/egenix-pyrun

eGenix PyRun - Your friendly, lean, open source Python runtime

Language: Python - Size: 3.75 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 33 - Forks: 1

jcalixte/failwell

Language: TypeScript - Size: 1010 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0

kassane/lean4-zig

Zig bindings for Lean4

Language: Zig - Size: 58.6 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 1

spamegg1/spamegg1-lean

Working through Functional Programming in Lean

Language: Lean - Size: 50.8 KB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

DenisGorbachev/vscode-lean4-code-actions

Language: TypeScript - Size: 7.83 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 6 - Forks: 1

unitb/temporal-logic

Language: Lean - Size: 254 KB - Last synced at: 6 months ago - Pushed at: over 6 years ago - Stars: 9 - Forks: 3

fractalate/study-munkres-topology

Munkres Topology in Lean

Language: Lean - Size: 24.4 KB - Last synced at: 8 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

SzymonKubica/formalising-mathematics

Formal proofs of mathematical analysis theorems using Lean programming language

Language: TeX - Size: 3.34 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

VRtheKing/Leanalyze

Language: Lean - Size: 0 Bytes - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

T-Brick/lean2wasm

Tool for compiling Lean to WASM

Language: Lean - Size: 12.7 KB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 14 - Forks: 2

vaibhavkarve/leanteach2020

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

Language: Lean - Size: 63.3 MB - Last synced at: 6 months ago - Pushed at: over 3 years ago - Stars: 24 - Forks: 6

lean-ja/mathematics_in_lean_source Fork of avigad/mathematics_in_lean_source

「Mathematics in Lean tutorial」の和訳（作業中）.

Language: Lean - Size: 1.24 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 5 - Forks: 1

lean-ja/lean99

These are Lean translations of Ninety-Nine Haskell Problems (WIP)

Language: Lean - Size: 231 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 14 - Forks: 3

Production3000/mvp3000esp

Rapid prototyping/MVP framework for sensor applications.

Language: C++ - Size: 572 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 2 - Forks: 1

jaalonso/Calculemus2_es

Ejercicios de demostración con Lean4 e Isabelle/HOL.

Language: Lean - Size: 1.86 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0

nyuichi/LeanHOL

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

Language: Lean - Size: 21.5 KB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 21 - Forks: 0

mhumph/zenboard

Teamwork made easy

Language: JavaScript - Size: 28.6 MB - Last synced at: 6 months ago - Pushed at: over 5 years ago - Stars: 21 - Forks: 5

will-lynas/lean-snippets.nvim

📐 Neovim snippets for Lean

Language: Lua - Size: 4.88 KB - Last synced at: 4 days ago - Pushed at: 8 months ago - Stars: 3 - Forks: 0

FR-vdash-bot/transcendental

Lindemann–Weierstrass Theorem

Language: Lean - Size: 137 KB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 11 - Forks: 0

utensil/ginac-lean

A work-in-progress Lean 4 binding to GiNaC

Language: Python - Size: 640 KB - Last synced at: 8 days ago - Pushed at: 8 months ago - Stars: 5 - Forks: 1

AtticusKuhn/proofs-from-the-book

Proofs from THE BOOK by Aigner and Ziegler proved in the Lean proving assistant

Language: Lean - Size: 181 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

andreadlm/master-thesis

A LEAN-certified reversibilization of Meyer-Ritchie LOOP language. Master thesis in computer science.

Language: Lean - Size: 194 KB - Last synced at: 2 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

pitmonticone/FLT Fork of ImperialCollegeLondon/FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Language: Lean - Size: 30.1 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 1

symlex/symlex 📦

A lean framework stack for agile Web development based on Symfony and Vuetify

Language: PHP - Size: 6.77 MB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 296 - Forks: 19

USC-Fall-2024-Math-587/homework1

Substitution ciphers

Language: Lean - Size: 73.2 KB - Last synced at: 3 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 1

mgriso135/VirtualChief

(Outdated) Virtual Chief is a Manufacturing Execution System (MES). Features: production planning, tracking of production orders in real time, tracking of all start-stop-pause events, data analysis tools. Quality management module. Work instructions module. Multi-user, multi-tenand and multi-language.

Language: C# - Size: 71.1 MB - Last synced at: 9 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

leankoala-gmbh/LeanApiBundle

A small bundle for API request handling in Symfony

Language: PHP - Size: 101 KB - Last synced at: 28 days ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

chris-short/DevOps-README.md

What to Read to Learn More About DevOps

Size: 7.23 MB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 453 - Forks: 27

hsggdj/Natural-number-game

Solution to the natural number game by By Kevin Buzzard and Mohammad Pedramfar. It can be found here: https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/ Written in Lean.

Size: 141 KB - Last synced at: 9 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

csharpython/lean_theorems

Leanでいろんな定理を証明してみた。

Language: Lean - Size: 55.7 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 2 - Forks: 0

reilabs/gnark-lean-demo

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

Language: Lean - Size: 111 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 14 - Forks: 0

adyavanapalli/natural-number-game-solutions

Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive + automated theorem prover developed by Microsoft Research called Lean.

Size: 23.4 KB - Last synced at: 10 months ago - Pushed at: over 3 years ago - Stars: 13 - Forks: 7

yuxiaoy1/the-lean-web

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

Size: 26.4 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 15 - Forks: 5

joanmontas/My-Kanban

Kanban Boarding App

Language: JavaScript - Size: 499 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

BoltonBailey/formal-snarks-project

A formal verification of Linear PCP SNARKs.

Language: Lean - Size: 471 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 44 - Forks: 1

savas-t/create-plaingrid

Creates a 12 column, mobile first, grid layout in CSS using the grid display property.

Language: JavaScript - Size: 36.1 KB - Last synced at: 19 days ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

tautastic/real-analysis

Lean4 formalization of Real Analysis

Language: Lean - Size: 4.88 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0

StrategyLogic/AgileConsulting

Knowledge, Practices & Mindsets.

Language: CSS - Size: 4.25 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 5 - Forks: 1

FR-vdash-bot/Algorithm

Verified efficient algorithms in Lean4.

Language: Lean - Size: 207 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 13 - Forks: 0

jameschch/LeanParameterOptimization

Parameter Optimization for Lean Algorithms

Language: C# - Size: 8.35 MB - Last synced at: 7 months ago - Pushed at: over 2 years ago - Stars: 57 - Forks: 21

srebughini/ASALIX

A comprehensive collection of mathematical tools and utilities designed to support Lean Six Sigma practitioners in their process improvement journey

Language: Python - Size: 81.1 KB - Last synced at: 11 days ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 0

Rxz1Eaco/5s

Melhoria Contínua

Language: Python - Size: 95.7 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

ParisaTork/mindmaps

Mindmaps made after courses. Includes: AWS, Agile, Clean Code, Lean, PRINCE2

Size: 425 KB - Last synced at: 10 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

OpenWrt-Actions/helloworld

SSR 科学上网软件

Language: C - Size: 1.72 MB - Last synced at: 10 months ago - Pushed at: over 3 years ago - Stars: 77 - Forks: 54

iyuangang/openwrt

OpenWrt Stable 1907 with lean's package

Language: C - Size: 83.7 MB - Last synced at: 11 months ago - Pushed at: over 4 years ago - Stars: 53 - Forks: 32

Treewalking/treewalking-site

Traversing Agile Product Delivery

Language: HTML - Size: 1.31 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 1

alexf91/lean4-ctypes 📦

FFI for Lean 4

Language: C++ - Size: 392 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

kovach/etch

Language: Lean - Size: 9.02 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 14 - Forks: 7

Production3000/mvp3000evaluation

Rapid prototyping/MVP framework for sensor applications.

Language: Python - Size: 37.1 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

EdurtIO/programming-learn-integration

编程学习中心

Language: Java - Size: 332 KB - Last synced at: 10 months ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 9

JonasLauri/MS-Excel-Operational-Tasks-Scheduling-tool

The tool is macro based program written in VBA and implemented in MS Excel office application. It's intend for back office corporate operations when it is necessary to allocate people and plan work in a large corporate teams.

Size: 428 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

ssomayyajula/linear

Linear Algebra Done...Lean

Language: Lean - Size: 14.6 KB - Last synced at: 10 months ago - Pushed at: over 7 years ago - Stars: 14 - Forks: 1

rwst/infinite-primes-via-log

Language: HTML - Size: 714 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

hanwenzhu/primality-tests

Miller–Rabin primality test in Lean

Language: Lean - Size: 63.5 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0

gihanmarasingha/miu_language

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

Language: Lean - Size: 123 KB - Last synced at: 6 months ago - Pushed at: almost 5 years ago - Stars: 8 - Forks: 0

tchajed/database-stream-processing-theory

Formalization of DBSP

Language: Lean - Size: 47.9 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 12 - Forks: 2

T-Brick/Numbers

Arbitrary Bit-Length Integers in Lean

Language: Lean - Size: 81.1 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

jmerle/lean-api-docs

Automatically updated API documentation for QuantConnect's Lean

Language: Python - Size: 69.3 KB - Last synced at: 12 months ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 1

ezelikman/parsel

Code for Parsel 🐍 - generate complex programs with language models

Language: Python - Size: 170 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 377 - Forks: 32

bhgomes/jensen

a Lean implementation of Jensen's Inequality

Language: Lean - Size: 101 KB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

helmiau/HelmiWrt-OS Fork of SuLingGG/OpenWrt-Rpi

Custom OpenWrt build for Raspberry Pi 1/2/3/4, x86/x64 PC (BIOS), NanoPi R2S/R4S and Orange Pi Zero/R1 Plus

Language: Shell - Size: 3.04 MB - Last synced at: 10 months ago - Pushed at: about 3 years ago - Stars: 32 - Forks: 51

arthurpaulino/LeanREPL

Language: Lean - Size: 12.7 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 12 - Forks: 2

nkdAgility/Agile-Delivery-Kit-for-Software-Organisations

Scrum-Delivery-Kit-for-Software-Organisations

Language: HTML - Size: 13.8 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 2

pitmonticone/FLT3 Fork of riccardobrasca/flt3

A formalised proof of Fermat's Last Theorem for exponent 3 in the Lean proof assistant.

Language: TeX - Size: 550 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 1