[chillfox]

I don't know of any specifically made for teaching, but there is biscuit made in Go[0] and Lilith made in Crystal[1].

[0] https://pdos.csail.mit.edu/projects/biscuit.html [1] https://github.com/ffwff/lilith