Cybercat Institute has designed and implemented a model checker for compositional game theory. In Haskell. In this Foresight Institute interview, Jules Hedges expressed a desire and plan to re-write it in Python, contingent on funding.

Will there be a Python-programming-language version of Cybercat Institute's Open Game Engine available by 2028-01-01 00:00 UTC?

This resolves YES if there is a Python implementation that has functionality broadly similar to the functionality of the Haskell Open Game Engine implementation as of 2024-03-06 (the date of the interview).

The Haskell implementation being marked "deprecated" or is 'archived', or users being directed to use a Python implementation instead, by itself, is NOT sufficient to resolve YES; this market tracks the question of whether a working Python implementation is actually created.

(It is common practice for Python projects to implement some performance-critical functionality in C. This totally counts as 'in Python'; this would resolve YES.)

(A python wrapper around a Haskell core will almost certainly resolve NO: In the interview, Jules refers to practical difficulties of widespread deployment of Haskell projects as an impetus for switching to Python. If any Haskell-deployment details are visible to Open Game Engine users (eg: Haskell packages or compilers being installed, vendored or as dependencies), this resolves NO. Example of an outlandish outcome that might still allow this to resolve YES: Some part of the in-Haskell Open Game Engine is that requires no Haskell package dependencies is refactored into a tiny subset of Haskell-the-language and the Python implementation includes an interpreter for this minimal Haskell-reminiscent language that is not derived from an existing Haskell compiler/interpreter project. In this case, no traditional Haskell deployment complications befall the user, so this could plausibly resolve YES.)