No: https://github.com/videolang/video/commits/master/. Last commit November 2019.
Im not sure, but I think Leif has graduated
Re:Video is a language for making movies
by LeifAndersen on Tuesday July 30, 2024 @12:05PM
(#41110623)
That I did. You can find my dissertation here: https://www2.ccs.neu.edu/racket/pubs/#dissertation-andersen
Is it still being updated?