2
2
//// SNU_2D_ProgrammingTools_REPOLIST.urll
3
3
//// https://github.com/seanpm2001/URLL-Specification
4
4
//// A list of all SNU Programming Tools repositories by @seanpm2001
5
- //// As of 2025, Thursday , June 26th
5
+ //// As of 2025, Friday , June 27th
6
6
7
7
//// ----------------------------------------------------- \\\\
8
8
@@ -41,7 +41,7 @@ https://github.com/seanpm2001/Template_SNU_2D_ProgrammingTools_V7
41
41
42
42
//// ----------------------------------------------------- \\\\
43
43
44
- //// IDE repositories (964 )
44
+ //// IDE repositories (965 )
45
45
46
46
//// Note: some duplicates are present. Community: Find duplicates, and get rewards (stars, follows, code review, etc.)
47
47
@@ -1009,10 +1009,11 @@ https://github.com/seanpm2001/SNU_2D_ProgrammingTools_IDE_RON
1009
1009
https://github.com/seanpm2001/SNU_2D_ProgrammingTools_IDE_Rocq-Prover
1010
1010
https://github.com/seanpm2001/SNU_2D_ProgrammingTools_IDE_Record-Jar
1011
1011
https://github.com/seanpm2001/SNU_2D_ProgrammingTools_IDE_ReasonLIGO
1012
+ https://github.com/seanpm2001/SNU_2D_ProgrammingTOols_IDE_Raw-Token-Data
1012
1013
1013
- //// Repo count: 979
1014
+ //// Repo count: 980
1014
1015
1015
- //// 1+9+1+4+964=979
1016
+ //// 1+9+1+4+965=980
1016
1017
1017
1018
//// ----------------------------------------------------- \\\\
1018
1019
@@ -1027,16 +1028,16 @@ https://github.com/seanpm2001/Seanpm2001-Learn
1027
1028
1028
1029
//// ----------------------------------------------------- \\\\
1029
1030
1030
- //// Total repo count: 985 (not including Learn repositories out of the 6 scope, as this would raise the count above 1,000, and wouldn't be necessary)
1031
+ //// Total repo count: 986 (not including Learn repositories out of the 6 scope, as this would raise the count above 1,000, and wouldn't be necessary)
1031
1032
1032
- //// 979 +6=985
1033
+ //// 980 +6=986
1033
1034
1034
1035
//// ----------------------------------------------------- \\\\
1035
1036
1036
1037
//// File info
1037
1038
//// File type: URLL v3 list file (*.urll)
1038
- //// File version: 183 (2025, Thursday , June 26th at 06:40 pm PST)
1039
- //// Line count (including blank lines and compiler line): 1,044
1039
+ //// File version: 184 (2025, Friday , June 27th at 05:53 pm PST)
1040
+ //// Line count (including blank lines and compiler line): 1,045
1040
1041
1041
1042
//// ----------------------------------------------------- \\\\
1042
1043
0 commit comments