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/b

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 https://pdos.csail.mit.edu/projects/biscuit.html [1] https://github.com/ffwff/lilith https://github.com/ffwff/lilith