Merge pull request #246 from c4dt/data/weekly-last-commit-date-update-20565448751

data: Automated Weekly last commit date update

Author: PascalinDe

data/COMPSEC/projects.yaml

@@ -32,7 +32,7 @@ projects:
     code:
       type: Project Github
       url: https://github.com/arkworks-rs
-      date_last_commit: 2025-12-20
+      date_last_commit: 2025-12-28
     language: Rust
     license: Apache-2.0
     information:

data/DEDIS/projects.yaml

@@ -174,7 +174,7 @@ projects:
     code:
       type: Lab GitHub
       url: https://github.com/dedis/kyber
-      date_last_commit: 2025-07-08
+      date_last_commit: 2025-12-24
     lines_of_code: 17000 / 4000
     contacts:
       - name: Pierluca Borsò

data/DSLAB/projects.yaml

@@ -191,7 +191,7 @@ projects:
     code:
       type: Project GitHub
       url: https://github.com/s2e
-      date_last_commit: 2025-12-14
+      date_last_commit: 2025-12-28
     language: C, C++
     license: MIT
     contacts:

data/HexHive/projects.yaml

@@ -560,7 +560,7 @@ projects:
     code:
       type: Lab GitHub
       url: https://github.com/HexHive/Igor
-      date_last_commit: 2022-08-02
+      date_last_commit: 2025-12-26
     language: C
     type: Application
     tags:

data/LAMP/projects.yaml

@@ -16,7 +16,7 @@ projects:
     code:
       type: Project GitHub
       url: https://github.com/scala-js/scala-js
-      date_last_commit: 2025-12-22
+      date_last_commit: 2025-12-27
     language: Scala
     license: Apache-2.0
     tags:
@@ -80,7 +80,7 @@ projects:
     code:
       type: Project Github
       url: https://github.com/scala/scala3
-      date_last_commit: 2025-12-21
+      date_last_commit: 2025-12-27
     language: Scala
     license: Apache-2.0
     date_added: 2024-04-12

data/LAP/projects.yaml

@@ -16,7 +16,7 @@ projects:
     code:
       type: Lab GitHub
       url: https://github.com/EPFL-LAP/dynamatic
-      date_last_commit: 2025-12-19
+      date_last_commit: 2025-12-28
     language: C++
     license: MIT
     tags:

data/LARA/projects.yaml

@@ -15,7 +15,7 @@ projects:
     code:
       type: Lab GitHub
       url: https://github.com/epfl-lara/stainless
-      date_last_commit: 2025-12-20
+      date_last_commit: 2025-12-23
     doc: https://epfl-lara.github.io/stainless/
     contacts:
       - name: Viktor Kunčak

data/MLO/projects.yaml

@@ -288,7 +288,7 @@ projects:
     code:
       type: Lab GitHub
       url: https://github.com/epfml/disco
-      date_last_commit: 2025-12-13
+      date_last_commit: 2025-12-22
     language: TypeScript
     license: Apache-2.0
     incubator: