diff --git a/README.md b/README.md index 972ed9a..68efa38 100644 --- a/README.md +++ b/README.md @@ -324,7 +324,14 @@ If you know others, feel free to add them here through a PR.

JNGL - easy to use cross-platform 2D game library

- + + +

+ aaltitoad +

+

AALTITOAD - verifier and simulator for Tick Tock Automata

+
+