Info Request: Dyna3 Repo

[RAbraham]

Hi,
I was wondering if there is a repo or anything I can follow for Dyna3 as mentioned here: https://dyna.org/

[jeisner]

Thanks for your interest. There are two repos, corresponding to the implementations by @timvieira and @matthewfl in their respective Ph.D. dissertations. They can post the pointers here!

[RAbraham]

Thanks! No rush at all. Excited!

[timvieira]

The code accompanying my dissertation is here. However, it only supports the Dyna 1 language.