Skip to content

Commit 3a448a0

Browse files
authored
Merge branch 'stdlib-js:develop' into develop
2 parents 19071d8 + c0d9c76 commit 3a448a0

File tree

855 files changed

+52621
-618
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

855 files changed

+52621
-618
lines changed

.editorconfig

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -121,7 +121,7 @@ indent_style = tab
121121
[*.{md,md.txt}]
122122
indent_style = space
123123
indent_size = 4
124-
trim_trailing_whitespace = false
124+
trim_trailing_whitespace = true # Note: this disables using two spaces to force a hard line break, which is permitted in Markdown. As we don't typically follow that practice (TMK), we should be safe to automatically trim.
125125
126126
# Set properties for `usage.txt` files:
127127
[usage.txt]

.github/labeler.yml

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,6 +28,10 @@ Math:
2828
- changed-files:
2929
- any-glob-to-all-files: '**/math/**/*'
3030

31+
REPL:
32+
- changed-files:
33+
- any-glob-to-all-files: '**/repl/**/*'
34+
3135
Statistics:
3236
- changed-files:
3337
- any-glob-to-all-files: '**/stats/**/*'

.github/workflows/lint_changed_files.yml

Lines changed: 8 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@ permissions:
3939
jobs:
4040

4141
# Define a job for linting committed code...
42-
process:
42+
lint:
4343

4444
# Define a display name:
4545
name: 'Lint Changed Files'
@@ -104,7 +104,7 @@ jobs:
104104
files=$(echo "$files" | tr '\n' ' ' | sed 's/ $//')
105105
echo "files=${files}" >> $GITHUB_OUTPUT
106106
107-
# Lint file names
107+
# Lint file names:
108108
- name: 'Lint file names'
109109
run: |
110110
# Determine root directory:
@@ -116,6 +116,12 @@ jobs:
116116
# Lint filenames:
117117
echo "${{ steps.changed-files.outputs.files }}" || "${lint_filenames}"
118118
119+
# Lint files against EditorConfig:
120+
- name: 'Lint against EditorConfig'
121+
if: success() || failure()
122+
run: |
123+
make lint-editorconfig-files FILES="${{ steps.changed-files.outputs.files }}"
124+
119125
# Lint Markdown files:
120126
- name: 'Lint Markdown files'
121127
if: success() || failure()

.github/workflows/lint_random_files.yml

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -183,7 +183,7 @@ jobs:
183183
184184
echo "files=$files" >> $GITHUB_OUTPUT
185185
186-
# Lint file names
186+
# Lint file names:
187187
- name: 'Lint file names'
188188
run: |
189189
# Determine root directory:
@@ -195,6 +195,12 @@ jobs:
195195
# Lint filenames:
196196
echo "${{ steps.random-files.outputs.files }}" | tr ',' '\n' | "${lint_filenames}"
197197
198+
# Lint files against EditorConfig:
199+
- name: 'Lint against EditorConfig'
200+
run: |
201+
files=$(echo "${{ steps.random-files.outputs.files }}" | tr ',' ' ')
202+
make lint-editorconfig-files FILES="${files}"
203+
198204
# Lint Markdown files:
199205
- name: 'Lint Markdown files'
200206
if: ( github.event.inputs.markdown != 'false' ) && ( success() || failure() )

.mailmap

Lines changed: 13 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -22,6 +22,8 @@ Aditya Sapra <adityaework@gmail.com> adityacodes30
2222

2323
Ahmed Atwa <Ahmedatwa866@yahoo.com> NightKnight
2424

25+
Ahmed Khaled <kahmd1444@gmail.com> Khaldon
26+
2527
Ahmed Kashkoush <ahmedkashkoush464@gmail.com> <89735230+ahmad-kashkoush@users.noreply.github.com>
2628
Ahmed Kashkoush <ahmedkashkoush464@gmail.com> Ahmed_Kashkoush
2729

@@ -86,6 +88,10 @@ Kaif Mohd <mdkaifprofession@gmail.com>
8688

8789
Karthik Prakash <116057817+skoriop@users.noreply.github.com> skoriop
8890

91+
# L
92+
93+
Lovelin Dhoni J B <100030865+lovelindhoni@users.noreply.github.com> Lovelin
94+
8995
# M
9096

9197
Manvith M <148960168+manvith2003@users.noreply.github.com> Manvith
@@ -106,6 +112,8 @@ Muhammad Haris <harriskhan047@outlook.com> headlessNode
106112

107113
Naresh Jagadeesan <naresh.naresh000@gmail.com> <37257700+Infinage@users.noreply.github.com>
108114

115+
Naveen Kumar <stupiddint@gmail.com> naveen
116+
109117
Nishant Shinde <97207366+nishant-s7@users.noreply.github.com> nishant-s7
110118

111119
Nithin Katta <88046362+nithinkatta@users.noreply.github.com> KATTA NAGA NITHIN
@@ -122,14 +130,14 @@ Philipp Burckhardt <pburckhardt@outlook.com> Planeshifter
122130
Pranav Goswami <goswami.4@iitj.ac.in> <85227306+Pranavchiku@users.noreply.github.com>
123131
Pranav Goswami <goswami.4@iitj.ac.in> Pranav
124132

125-
Praneki <97080887+PraneGIT@users.noreply.github.com> PraneGIT
133+
Pranjal Jha <97080887+PraneGIT@users.noreply.github.com> PraneGIT
126134

127-
Pratik <97464067+Pratik772846@users.noreply.github.com> Pratik772846
135+
Pratik Singh <97464067+Pratik772846@users.noreply.github.com> Pratik772846
128136

129137
Pratyush Kumar Chouhan <pratyushkumar0308@gmail.com> <98751013+bruno-noir@users.noreply.github.com>
130138
Pratyush Kumar Chouhan <pratyushkumar0308@gmail.com> Pratyush
131139

132-
Priyansh <88396544+itsspriyansh@users.noreply.github.com> itsspriyansh
140+
Priyansh Prajapati <88396544+itsspriyansh@users.noreply.github.com> itsspriyansh
133141

134142
Priyanshu Agarwal <113460573+AgPriyanshu18@users.noreply.github.com> AgPriyanshu18
135143

@@ -165,6 +173,8 @@ Sarthak Paandey <145528240+SarthakPaandey@users.noreply.github.com> SarthakPaand
165173
Shashank Shekhar Singh <shashankshekharsingh1205@gmail.com> <123410790+Shashankss1205@users.noreply.github.com>
166174
Shashank Shekhar Singh <shashankshekharsingh1205@gmail.com> Shashankss1205
167175

176+
Shivam Ahir <11shivam00@gmail.com> Shivam
177+
168178
Shubham Mishra <shubh622005@gmail.com> <mishra.shubham5208@gmail.com>
169179
Shubham Mishra <shubh622005@gmail.com> shubham
170180

CONTRIBUTORS

Lines changed: 9 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,14 @@
22
#
33
# Contributors listed in alphabetical order.
44

5+
Aadish Jain <jain.aadishj@gmail.com>
56
Aayush Khanna <aayushiitbhu23@gmail.com>
67
Abhijit Raut <abhijitmraut8010@gmail.com>
78
Adarsh Palaskar <adarshpalaskar99@gmail.com>
89
Aditya Sapra <adityaework@gmail.com>
910
Ahmed Atwa <Ahmedatwa866@yahoo.com>
1011
Ahmed Kashkoush <ahmedkashkoush464@gmail.com>
12+
Ahmed Khaled <kahmd1444@gmail.com>
1113
Aleksandr <112382387+alextes90@users.noreply.github.com>
1214
Ali Salesi <ali_sal1381@yahoo.com>
1315
Aman Bhansali <bhansali.1@iitj.ac.in>
@@ -24,6 +26,7 @@ Dan Rose <danoftheroses@gmail.com>
2426
Daniel Killenberger <daniel.killenberger@gmail.com>
2527
Daniel Yu <40680511+Daniel777y@users.noreply.github.com>
2628
Debashis Maharana <debashismaharana7854@gmail.com>
29+
Divyansh Seth <59174836+sethdivyansh@users.noreply.github.com>
2730
Dominic Lim <46486515+domlimm@users.noreply.github.com>
2831
Dominik Moritz <domoritz@gmail.com>
2932
Dorrin Sotoudeh <dorrinsotoudeh123@gmail.com>
@@ -46,11 +49,10 @@ Jordan Gallivan <115050475+Jordan-Gallivan@users.noreply.github.com>
4649
Joris Labie <joris.labie1@gmail.com>
4750
Justin Dennison <justin1dennison@gmail.com>
4851
Karthik Prakash <116057817+skoriop@users.noreply.github.com>
49-
Khaldon <kahmd1444@gmail.com>
5052
Kohantika Nath <145763549+kohantikanath@users.noreply.github.com>
5153
Krishnendu Das <86651039+itskdhere@users.noreply.github.com>
5254
Kshitij-Dale <152467202+Kshitij-Dale@users.noreply.github.com>
53-
Lovelin <100030865+lovelindhoni@users.noreply.github.com>
55+
Lovelin Dhoni J B <100030865+lovelindhoni@users.noreply.github.com>
5456
Manik Sharma <maniksharma.rke@gmail.com>
5557
Manvith M <148960168+manvith2003@users.noreply.github.com>
5658
Marcus Fantham <mfantham@users.noreply.github.com>
@@ -61,6 +63,7 @@ Mohammad Kaif <mdkaifprofession@gmail.com>
6163
Momtchil Momtchev <momtchil@momtchev.com>
6264
Muhammad Haris <harriskhan047@outlook.com>
6365
Naresh Jagadeesan <naresh.naresh000@gmail.com>
66+
Naveen Kumar <stupiddint@gmail.com>
6467
Neeraj Pathak <neerajrpathak710@gmail.com>
6568
Nishant Shinde <97207366+nishant-s7@users.noreply.github.com>
6669
Nithin Katta <88046362+nithinkatta@users.noreply.github.com>
@@ -71,10 +74,10 @@ Ori Miles <97595296+orimiles5@users.noreply.github.com>
7174
Philipp Burckhardt <pburckhardt@outlook.com>
7275
Prajwal Kulkarni <prajwalkulkarni76@gmail.com>
7376
Pranav Goswami <goswami.4@iitj.ac.in>
74-
Praneki <97080887+PraneGIT@users.noreply.github.com>
75-
Pratik <97464067+Pratik772846@users.noreply.github.com>
77+
Pranjal Jha <97080887+PraneGIT@users.noreply.github.com>
78+
Pratik Singh <97464067+Pratik772846@users.noreply.github.com>
7679
Pratyush Kumar Chouhan <pratyushkumar0308@gmail.com>
77-
Priyansh <88396544+itsspriyansh@users.noreply.github.com>
80+
Priyansh Prajapati <88396544+itsspriyansh@users.noreply.github.com>
7881
Priyanshu Agarwal <113460573+AgPriyanshu18@users.noreply.github.com>
7982
Pushpendra Chandravanshi <pushpendrachandravanshi4@gmail.com>
8083
Raunak Kumar Gupta <raunakmodanwal321@gmail.com>
@@ -93,7 +96,7 @@ Sarthak Paandey <145528240+SarthakPaandey@users.noreply.github.com>
9396
Saurabh Singh <saurabhsraghuvanshi@gmail.com>
9497
Seyyed Parsa Neshaei <spneshaei@users.noreply.github.com>
9598
Shashank Shekhar Singh <shashankshekharsingh1205@gmail.com>
96-
Shivam <11shivam00@gmail.com>
99+
Shivam Ahir <11shivam00@gmail.com>
97100
Shraddheya Shendre <shendreshraddheya@gmail.com>
98101
Shubh Mehta <93862397+Shubh942@users.noreply.github.com>
99102
Shubham Mishra <shubh622005@gmail.com>
@@ -116,7 +119,6 @@ Vivek maurya <155618190+vivekmaurya001@users.noreply.github.com>
116119
Xiaochuan Ye <tap91624@gmail.com>
117120
Yaswanth Kosuru <116426380+yaswanthkosuru@users.noreply.github.com>
118121
Yernar Yergaziyev <yernar.yergaziyev@erg.kz>
119-
naveen <stupiddint@gmail.com>
120122
olenkabilonizhka <62379231+olenkabilonizhka@users.noreply.github.com>
121123
rainn <88160429+AmCodesLame@users.noreply.github.com>
122124
rei2hu <reimu@reimu.ws>
Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
{
2+
"Verbose": false,
3+
"Debug": false,
4+
"IgnoreDefaults": true,
5+
"SpacesAfterTabs": false,
6+
"NoColor": false,
7+
"Exclude": [
8+
"\\.csv$",
9+
"\\.csv\\.txt$",
10+
"\\/data\\/",
11+
"data\\/",
12+
"\\.html$",
13+
"\\.html\\.txt$",
14+
"\\.md$",
15+
"\\.md\\.txt$",
16+
"\\.svg$",
17+
"\\.svg\\.txt$",
18+
"\\.xml$",
19+
"\\.xml\\.txt$"
20+
],
21+
"AllowedContentTypes": [],
22+
"PassedFiles": [],
23+
"Disable": {
24+
"EndOfLine": false,
25+
"Indentation": false,
26+
"IndentSize": false,
27+
"InsertFinalNewline": false,
28+
"TrimTrailingWhitespace": false,
29+
"MaxLineLength": false
30+
}
31+
}
Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
{
2+
"Verbose": false,
3+
"Debug": false,
4+
"IgnoreDefaults": true,
5+
"SpacesAfterTabs": false,
6+
"NoColor": false,
7+
"Exclude": [
8+
"\\.*[^d]$"
9+
],
10+
"AllowedContentTypes": [],
11+
"PassedFiles": [],
12+
"Disable": {
13+
"EndOfLine": false,
14+
"Indentation": false,
15+
"IndentSize": true,
16+
"InsertFinalNewline": false,
17+
"TrimTrailingWhitespace": false,
18+
"MaxLineLength": false
19+
}
20+
}

etc/editorconfig-checker/README.md

Lines changed: 51 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,51 @@
1+
<!--
2+
3+
@license Apache-2.0
4+
5+
Copyright (c) 2024 The Stdlib Authors.
6+
7+
Licensed under the Apache License, Version 2.0 (the "License");
8+
you may not use this file except in compliance with the License.
9+
You may obtain a copy of the License at
10+
11+
http://www.apache.org/licenses/LICENSE-2.0
12+
13+
Unless required by applicable law or agreed to in writing, software
14+
distributed under the License is distributed on an "AS IS" BASIS,
15+
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16+
See the License for the specific language governing permissions and
17+
limitations under the License.
18+
19+
-->
20+
21+
# editorconfig-checker
22+
23+
> [editorconfig-checker][editorconfig-checker] configuration.
24+
25+
<!-- Section to include introductory text. Make sure to keep an empty line after the intro `section` element and another before the `/section` close. -->
26+
27+
<section class="intro">
28+
29+
This directory contains [editorconfig-checker][editorconfig-checker] configuration files.
30+
31+
</section>
32+
33+
<!-- /.intro -->
34+
35+
<!-- Section to include notes. Make sure to keep an empty line after the `section` element and another before the `/section` close. -->
36+
37+
<section class="notes">
38+
39+
</section>
40+
41+
<!-- /.notes -->
42+
43+
<!-- Section for all links. Make sure to keep an empty line after the `section` element and another before the `/section` close. -->
44+
45+
<section class="links">
46+
47+
[editorconfig-checker]: https://github.com/editorconfig-checker/editorconfig-checker
48+
49+
</section>
50+
51+
<!-- /.links -->

0 commit comments

Comments
 (0)