diff --git a/web/pages/projects.md b/web/pages/projects.md
index ed2640e348c..dde4db378f5 100644
--- a/web/pages/projects.md
+++ b/web/pages/projects.md
@@ -83,3 +83,4 @@ let us know on our [socials](https://kframework.org/#support), and we will featu
 - [Elrond (2020-2021)](https://github.com/runtimeverification/elrond-semantics)
 - [P4 (2016-2021)](https://github.com/kframework/p4-semantics)
 - [K-Javalette (2022)](https://github.com/bbyalcinkaya/k-javalette)
+- [K-ST (2023)](https://github.com/wkyml/K-ST)