I would like to model parts of the Raft consensus algorithm in Redex. I am looking for some SIMPLE examples to get started. I have found “The Network as a Language Construct” and also https://github.com/racket/redex/blob/master/redex-examples/redex/examples/pi-calculus.rkt — does anyone know of something smaller/simpler to help me get started?

Also, is there anything like gmane.comp.lang.racket.user for redex?

There isn’t a redex-specific forum, but redex questions show up on the racket forum you mentioned.

as for examples, that directory is where I’d suggest looking (once you’ve done the homework anyway)