Projects in Awesome Lists tagged with game-semantics
A curated list of projects in awesome lists tagged with game-semantics .
https://github.com/dhil/stratagem
STRATAGEM is a research prototype system illustrating some theoretical ideas in game semantics.
continuations game-semantics sml
Last synced: 18 Jan 2026
