From 0fa5f9a309d54baa30825e294e596c25daf5b541 Mon Sep 17 00:00:00 2001 From: Andrew Zhu Date: Thu, 21 Sep 2023 13:02:56 -0400 Subject: [PATCH] docs: add calypso --- docs/community/showcase.rst | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/community/showcase.rst b/docs/community/showcase.rst index 009e188..979d378 100644 --- a/docs/community/showcase.rst +++ b/docs/community/showcase.rst @@ -2,4 +2,6 @@ Project Showcase ================ This page lists some awesome projects built with kani! -Made a project of your own you'd like to show off? Make a PR and add it to this list! \ No newline at end of file +Made a project of your own you'd like to show off? Make a PR and add it to this list! + +* `Calypso: A Dungeon Master's Assistant `_ (by @zhudotexe)