|
Shell |
6 |
compile shadowsocks-libev for hiwifi |
Jul 27, 2021 |
|
None |
68 |
Official firmware of Hiwifi Routers. |
May 06, 2023 |
|
Shell |
13 |
Lean, static Git build for Linux |
Aug 07, 2022 |
|
Shell |
17 |
Lean, static GnuPG build for Linux |
Jul 13, 2022 |
|
Lean |
51 |
Lean 4 build system and package manager with configuration files written in Lean. |
Aug 26, 2022 |
|
Shell |
2 |
Lean and fast custom PMM build :rocket: |
Nov 21, 2022 |
|
Shell |
13 |
Build openwrt combining Lean ,Lienol, OpenClash and Mentohust |
Jan 28, 2023 |
|
JavaScript |
2 |
Lean yet powerful starter-kit to build modern Angular applications. |
Jan 28, 2023 |
|
JavaScript |
8 |
Lean yet powerful starter-kit to build modern React applications. |
Jan 28, 2023 |
|
C++ |
11 |
A Qt GUI interface and build system for QuantConnect's Lean |
Jun 21, 2022 |
|
Lean |
2 |
Lean |
Apr 21, 2023 |
|
Lean |
15 |
Lean mathzoo |
May 17, 2022 |
|
C++ |
26 |
Lean STL |
Feb 21, 2022 |
|
TeX |
37 |
Lean Tutorials |
Apr 18, 2022 |
|
Lua |
10 |
From Lean |
Jan 28, 2023 |
|
Ruby |
15 |
Simple toolbox library and lean API to build great mini games in Ruby |
Jul 11, 2022 |
|
None |
5 |
Lean Learning Roadmaps |
May 08, 2022 |
|
TypeScript |
5 |
Lean web editor |
Nov 12, 2020 |
|
None |
6 |
Lean business lists |
May 23, 2021 |
|
TypeScript |
7 |
Lean web editor |
Jun 23, 2022 |
|
JavaScript |
11 |
lean-related presentations |
Jan 03, 2022 |
|
C++ |
346 |
Lean Theorem Prover |
Aug 08, 2022 |
|
C++ |
2061 |
Lean Theorem Prover |
Aug 10, 2022 |
|
C++ |
2 |
Nix + Lean = Nale |
Apr 18, 2022 |
|
JavaScript |
2 |
lean HTML tooltips |
May 06, 2014 |
|
Lean |
2 |
Matemáticas en Lean |
May 15, 2022 |
|
C# |
2 |
Lean Brokerages Template |
Dec 24, 2021 |
|
Haskell |
92 |
Lean Haskell Benchmarking |
Aug 30, 2022 |
|
Lean |
137 |
Some Lean tutorials |
Aug 03, 2022 |
|
Lean |
11 |
Matroids in Lean |
Mar 21, 2023 |
|
LiveScript |
2 |
Lean your Qiita:Team |
May 14, 2015 |
|
C++ |
2 |
Quantum Lean Mapper |
Mar 07, 2023 |
|
None |
2 |
Lean nightly builds |
Jul 04, 2023 |
|
Python |
3 |
Lean Genropy Project |
Jun 29, 2020 |
|
PHP |
2 |
Toyota Lean Seagon |
May 18, 2023 |
|
Lean |
2 |
Lean Parsec extra |
Jun 02, 2023 |
|
Lean |
4 |
Condensed mathematics in Lean |
Aug 15, 2021 |
|
Lean |
4 |
lean proofs of math135 |
May 26, 2021 |
|
Lean |
4 |
Subtasks algorithm for Lean |
Jun 02, 2022 |
|
JavaScript |
280 |
:syringe: Lean DOM Manipulation |
Aug 17, 2022 |
|
Lean |
1296 |
Lean mathematical components library |
Sep 02, 2022 |
|
None |
2 |
Lean mathematical components library |
Apr 22, 2022 |
|
Java |
1918 |
Lean & powerful HTTP apps |
Apr 19, 2023 |
|
Lean |
2 |
Lean mathematical components library |
Jul 01, 2021 |
|
Rust |
2 |
lean doc_string latex generator |
Dec 11, 2021 |
|
JavaScript |
3 |
Vue.js webpack lean template |
Jul 03, 2022 |
|
Lean |
15 |
Lean 4 Metamath verifier |
Jan 28, 2022 |
|
Python |
38 |
Theorem proving in Lean |
Apr 01, 2022 |
|
Python |
43 |
A Lean file formatter |
Jun 11, 2022 |
|
Emacs Lisp |
52 |
Emacs mode for Lean |
Jul 24, 2022 |