Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Lean Open Source Projects

Open source projects categorized as Lean
Categories > Lean
Lake ⭐ 96
**(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
most recent commit 6 months ago
Ibautomater ⭐ 95
Automates IB Gateway start, stopping and restarting.
dependent packages 3total releases 144most recent commit 4 months agonuget QuantConnect.IBAutomater} Downloads
Docker Phpfpm ⭐ 95
Lightweight (~100mb) Docker PHP FPM for both arm and amd arch on alpine 3.17 with PHP8.0.30/8.1.25/8.2.12 (also 7.4.33) with ~82-84 useful extensions (you can disable not necessary ones easily)
most recent commit 5 months ago
Compile_openwrt_tutorial ⭐ 94
编译步骤- Lean's OpenWrt Source
most recent commit a year ago
Lean Perfectoid Spaces ⭐ 94
Perfectoid spaces in the Lean formal theorem prover.
most recent commit 2 years ago
Appium Parallel Execution ⭐ 92
A lean, up-to-date, and cross-platform solution to run your mobile tests into a Selenium Grid using Appium.
most recent commit a year ago
Ea Share Count ⭐ 90
A lean plugin that leverages SharedCount.com API to quickly retrieve, cache, and display various social sharing counts.
most recent commit 6 years ago
Leandojochatgpt ⭐ 90
ChatGPT plugin for theorem proving in Lean
most recent commit 4 months ago
Pfr ⭐ 90
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
most recent commit 4 months ago
Openwrt Phicomm K2p Build ⭐ 89
OpenWrt/LEDE build config and prebuilt images for Phicomm K2P wireless router.
most recent commit 3 years ago
Foreveraloneprogramming ⭐ 88
Software Development Methodology for Solo Developers and Small Teams
most recent commit 5 years ago
Actions Openwrt K2p ⭐ 88
Use Github Actions to automatically compile Lean's Modified Lede source for K2P
most recent commit 2 years ago
Logic_and_proof ⭐ 83
CMU Undergrad Course
most recent commit 2 years ago
Tomatinho ⭐ 82
Pomodoro technique timer with a lean and usable interface.
most recent commit 6 years ago
Aeneas ⭐ 82
A verification toolchain for Rust programs
most recent commit 3 months ago
Sudoku ⭐ 81
A sudoku game where you have to prove that your deductions are valid
most recent commit 2 years ago
Algoloop ⭐ 80
Windows desktop algo trading with QuantConnect Lean engine.
most recent commit 4 months ago
Lean Cli ⭐ 80
LeanEngine Command Line Tool
total releases 84most recent commit a year ago
Auto Build Openwrt ⭐ 80
使用 GitHub Actions 编译 OpenWrt for HiWiFi B70/Redmi AC2100/PHICOMM K2P、K2T、N1
most recent commit 7 months ago
Lean Redux ⭐ 79
Redux state like local component state
most recent commit 6 years ago
Tissquickregistrationscript ⭐ 76
TISS Quick Registration Script
most recent commit 2 years ago
Joeflow ⭐ 75
The workflow automation framework for machines with heart
total releases 22most recent commit 4 months ago
Learn Python Roadmap ⭐ 75
A roadmap for learning python for General Usage, and Data Science
most recent commit 6 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.