The frtime language supports declarative construction of reactive systems in a syntax very similar to that of Racket. It extends racket.