Add K-Javalette (#3194)

Co-authored-by: rv-jenkins <admin@runtimeverification.com>
runtimeverification · Mar 1, 2023 · 0360752 · 0360752
1 parent d67b437
commit 0360752
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/web/pages/projects.md b/web/pages/projects.md
@@ -79,3 +79,4 @@ copyright: Copyright (c) Runtime Verification, Inc. All Rights Reserved.
 - [Boogie (2020)](https://github.com/kframework/boogie-semantics)
 - [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)