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, Friday , June 27th
5
+ //// As of 2025, Monday , June 30th
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 (965 )
44
+ //// IDE repositories (966 )
45
45
46
46
//// Note: some duplicates are present. Community: Find duplicates, and get rewards (stars, follows, code review, etc.)
47
47
@@ -1010,10 +1010,11 @@ 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
1012
https://github.com/seanpm2001/SNU_2D_ProgrammingTOols_IDE_Raw-Token-Data
1013
+ https://github.com/seanpm2001/SNU_2D_ProgrammingTools_IDE_Python-Console
1013
1014
1014
- //// Repo count: 980
1015
+ //// Repo count: 981
1015
1016
1016
- //// 1+9+1+4+965=980
1017
+ //// 1+9+1+4+966=981
1017
1018
1018
1019
//// ----------------------------------------------------- \\\\
1019
1020
@@ -1036,8 +1037,8 @@ https://github.com/seanpm2001/Seanpm2001-Learn
1036
1037
1037
1038
//// File info
1038
1039
//// File type: URLL v3 list file (*.urll)
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
+ //// File version: 185 (2025, Monday , June 30th at 07:39 pm PST)
1041
+ //// Line count (including blank lines and compiler line): 1,046
1041
1042
1042
1043
//// ----------------------------------------------------- \\\\
1043
1044
0 commit comments