|
|
Go |
5 |
configurable acme file formatter |
Apr 22, 2021 |
|
|
Reason |
6 |
An opinionated dune file formatter CLI |
Sep 24, 2021 |
|
|
None |
4 |
Disk Formatter EXE File Virus/Programme |
Nov 06, 2022 |
|
|
Go |
763 |
A bazel BUILD file formatter and editor |
Aug 12, 2022 |
|
|
TypeScript |
1661 |
An opinionated Blade file formatter for VSCode |
Aug 30, 2022 |
|
|
None |
3 |
An opinionated Blade file formatter for VSCode |
Apr 21, 2023 |
|
|
JavaScript |
17 |
Dead simple, single file, tiny byte formatter |
Aug 24, 2022 |
|
|
None |
2 |
A bazel BUILD file formatter and editor |
Mar 05, 2023 |
|
|
None |
2 |
A bazel BUILD file formatter and editor |
May 14, 2023 |
|
|
Lean |
2 |
Lean |
Apr 21, 2023 |
|
|
Python |
3 |
PKGI DB Formatter transform .tsv file to PKGI DB Format |
Jul 14, 2022 |
|
|
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 |
|
|
C |
22 |
Cross-platform lean file system monitoring library in pure C. Licensed under MIT. |
Jan 08, 2022 |
|
|
ActionScript |
6 |
JSON Formatter |
Jan 02, 2021 |
|
|
Yacc |
331 |
SQL Formatter |
Jul 28, 2022 |
|
|
TypeScript |
5 |
Pug Formatter |
Apr 24, 2023 |
|
|
Go |
57 |
SQL Formatter |
Jul 05, 2022 |
|
|
Python |
17 |
Lesson formatter |
Jan 28, 2023 |
|
|
TypeScript |
24 |
markdown formatter |
Dec 24, 2021 |
|
|
Ruby |
4 |
Number formatter |
Feb 06, 2018 |
|
|
Scala |
2 |
SQL formatter |
Jul 20, 2019 |
|
|
None |
4 |
binary formatter |
Jul 17, 2017 |
|
|
Go |
3 |
CFEngine formatter |
Apr 01, 2023 |
|
|
Python |
24 |
PromQL formatter |
May 11, 2023 |
|
|
Java |
2 |
SQL formatter |
Nov 30, 2021 |
|
|
C |
5 |
Clojure formatter |
Feb 19, 2023 |
|
|
Kotlin |
3 |
Sql Formatter |
Aug 24, 2023 |
|
|
TypeScript |
2 |
Thrift Formatter |
Jan 22, 2024 |
|
|
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 |