GitHub repository: 9708281/lean-openwrt
Primary language: C
Description: Lean's OpenWrt source