I toyed with Maude many years ago (e.g. to play with the BitBitJump language https://github.com/Warbo/bitbitjump-maude/blob/master/bbj.maude https://github.com/

I toyed with Maude many years ago (e.g. to play with the BitBitJump language https://github.com/Warbo/bitbitjump-maude/blob/master/bbj.maude https://github.com/Warbo/bitbitjump-maude/blob/master/bbj.ma... ). The Igor system for inductive functional programming (generating pure-functional programs which satisfy examples) was written in Maude, although version 2 was ported to Haskell https://www.researchgate.net/publication/221247917_Porting_IgorII_from_Maude_to_Haskell https://www.researchgate.net/publication/221247917_Porting_I...