Lean topic
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.
mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
certigrad
Bug-free machine learning on stochastic computation graphs
actions-build-padavan-openwrt
GitHub Action 学习实例 - 自动编译 padavan 和 openWrt
mailtoui
A simple way to enhance your mailto links with a convenient user interface.
lean.nvim
neovim support for the Lean theorem prover
dev-standards
https://bamtech.gitbooks.io/dev-standards/
Relay.swift
Relay for GraphQL, ported to Swift and SwiftUI
s3-practical-guide
A practical guide for Sociocracy 3.0.
Actions-OpenWrt-K2P
Use Github Actions to automatically compile Lean's Modified Lede source for K2P
openwrt
OpenWrt Stable 1907 with lean's package