#

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

huazhuangnan / actions-build-padavan-openwrt

GitHub Action 学习实例 - 自动编译 padavan 和 openWrt

openwrt actions lean padavan github-actions openclash adguardhome actions-openwrt lienol coolsnowwolf openwrt-actions actions-padavan padavan-openwrt openappfilter

Updated Aug 30, 2022
C

OpenWrt-Actions / helloworld

SSR 科学上网软件

lean openwrt-package helloword luci-app-ssr-plus ssr-plus

Updated Feb 17, 2022
C

iyuangang / openwrt

OpenWrt Stable 1907 with lean's package

router openwrt raspberrypi stable lean zh-cn autocompile openwrt-zh-cn openwrt1907 openwrt-stable

Updated Sep 24, 2020
C

Julian / tree-sitter-lean

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

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

Updated Jan 3, 2025
C

funexists / raylean

Lean4 bindings for raylib

raylib ecs lean puns games-development lean4

Updated Jan 15, 2025
C

argumentcomputer / OpenSSL.lean

OpenSSL bindings for Lean

openssl lean openssl-bindings lean4

Updated Feb 26, 2023
C

ExamDay / cPsql

Utilities for PostgreSQL automation in C

c postgres automation database administration server management postgresql efficient database-management lean

Updated Apr 1, 2022
C

sunsided / lean4-playground

Toying around with Microsoft Lean 4

lean interactive-proofs

Updated Jan 21, 2024
C

Production3000 / co2ampel

Showcase application that highlights the versatility of the MVP3000 framework.

esp8266 websocket sensor mvp rapid-prototyping led lean co2

Updated Nov 6, 2024
C

Created by Leonardo de Moura

Released 2013

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